Shmuel Sagiv (Ed.): 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. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-25435-8- Andrew C. Myers: Programming with Explicit Security Policies. 1-4
- Laurent Mauborgne, Xavier Rival: Trace Partitioning in Abstract Interpretation Based Static Analyzers. 5-20
- Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival: The ASTREÉ Analyzer. 21-30
- Michael Leuschel, Germán Vidal: Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. 61-76
- Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff: A New Foundation for Control-Dependence and Slicing for Modern Program Structures. 77-93
- Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. 124-140
- Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: A Type Discipline for Authorization Policies. 141-156
- Véronique Cortier, Bogdan Warinschi: Computationally Sound, Automated Proofs for Security Protocols. 157-171
- Romain Janvier, Yassine Lakhnech, Laurent Mazaré: Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. 172-185
- Steve Kremer, Mark Ryan: Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. 186-200
- Bodil Biering, Lars Birkedal, Noah Torp-Smith: BI Hyperdoctrines and Higher-Order Separation Logic. 233-247
- Bernhard Reus, Jan Schwinghammer: Denotational Semantics for Abadi and Leino's Logic of Objects. 263-278
- Stephen Tse, Steve Zdancewic: A Design for a Security-Typed Language with Certificate-Based Declassification. 279-294
- Roberto Giacobazzi, Isabella Mastroeni: Adjoining Declassification and Attack Models by Abstract Interpretation. 295-310
- Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula: Enforcing Resource Bounds via Static Verification of Dynamic Checks. 311-325
- Joachim Niehren, Tim Priesnitz, Zhendong Su: Complexity of Subtype Satisfiability over Posets. 357-373
- Henning Makholm, J. B. Wells: Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close. 389-407
- Peter Thiemann: Towards a Type System for Analyzing JavaScript Programs. 408-422
- Alan Jeffrey, Julian Rathke: Java Jr: Fully Abstract Trace Semantics for a Core Java Language. 423-438
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team