Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings > Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings |
Mooly Sagiv
Springer Berlin Heidelberg
Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Authors

Michael Leuschel; Germán Vidal

ARI Id

1664712430958_2864905

Access

Not Available Free

Pages

61-76

DOI

10.1007/978-3-540-31987-0_6

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-31987-0_6

Table of Contents of Book
Showing 1 to 20 of 31 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Programming with Explicit Security Policies
Andrew C. Myers
1-4
Trace Partitioning in Abstract Interpretation Based Static Analyzers
Laurent Mauborgne; Xavier Rival
5-20
The ASTREÉ Analyzer
Patrick Cousot; Radhia Cousot; Jerôme Feret; Laurent Mauborgne; Antoine Miné; David Monniaux et al.
21-30
Interprocedural Herbrand Equalities
Markus Müller-Olm; Helmut Seidl; Bernhard Steffen
31-45
Analysis of Modular Arithmetic
Markus Müller-Olm; Helmut Seidl
46-60
Forward Slicing by Conjunctive Partial Deduction and Argument Filtering
Michael Leuschel; Germán Vidal
61-76
A New Foundation for Control-Dependence and Slicing for Modern Program Structures
Venkatesh Prasad Ranganath; Torben Amtoft; Anindya Banerjee; Matthew B. Dwyer; John Hatcliff
77-93
Summaries for While Programs with Recursion
Andreas Podelski; Ina Schaefer; Silke Wagner
94-107
Determinacy Inference for Logic Programs
Lunjin Lu; Andy King
108-123
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis
Oukseh Lee; Hongseok Yang; Kwangkeun Yi
124-140
A Type Discipline for Authorization Policies
Cédric Fournet; Andrew D. Gordon; Sergio Maffeis
141-156
Computationally Sound, Automated Proofs for Security Protocols
Véronique Cortier; Bogdan Warinschi
157-171
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries
Romain Janvier; Yassine Lakhnech; Laurent Mazaré
172-185
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
Steve Kremer; Mark Ryan
186-200
Streams with a Bottom in Functional Languages
Hideki Tsuiki; Keiji Sugihara
201-216
Bottom-Up β-Reduction: Uplinks and λ-DAGs
Olin Shivers; Mitchell Wand
217-232
BI Hyperdoctrines and Higher-Order Separation Logic
Bodil Biering; Lars Birkedal; Noah Torp-Smith
233-247
Deciding Reachability in Mobile Ambients
Nadia Busi; Gianluigi Zavattaro
248-262
Denotational Semantics for Abadi and Leino’s Logic of Objects
Bernhard Reus; Jan Schwinghammer
263-278
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 31 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings