Book Volume 3444 2005

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


ISBN: 978-3-540-25435-5 (Print) 978-3-540-31987-0 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Chapter

    Pages 1-4

    Programming with Explicit Security Policies

  3. Chapter

    Pages 5-20

    Trace Partitioning in Abstract Interpretation Based Static Analyzers

  4. Chapter

    Pages 21-30

    The ASTREÉ Analyzer

  5. Chapter

    Pages 31-45

    Interprocedural Herbrand Equalities

  6. Chapter

    Pages 46-60

    Analysis of Modular Arithmetic

  7. Chapter

    Pages 61-76

    Forward Slicing by Conjunctive Partial Deduction and Argument Filtering

  8. Chapter

    Pages 77-93

    A New Foundation for Control-Dependence and Slicing for Modern Program Structures

  9. Chapter

    Pages 94-107

    Summaries for While Programs with Recursion

  10. Chapter

    Pages 108-123

    Determinacy Inference for Logic Programs

  11. Chapter

    Pages 124-140

    Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis

  12. Chapter

    Pages 141-156

    A Type Discipline for Authorization Policies

  13. Chapter

    Pages 157-171

    Computationally Sound, Automated Proofs for Security Protocols

  14. Chapter

    Pages 172-185

    Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries

  15. Chapter

    Pages 186-200

    Analysis of an Electronic Voting Protocol in the Applied Pi Calculus

  16. Chapter

    Pages 201-216

    Streams with a Bottom in Functional Languages

  17. Chapter

    Pages 217-232

    Bottom-Up β-Reduction: Uplinks and λ-DAGs

  18. Chapter

    Pages 233-247

    BI Hyperdoctrines and Higher-Order Separation Logic

  19. Chapter

    Pages 248-262

    Deciding Reachability in Mobile Ambients

  20. Chapter

    Pages 263-278

    Denotational Semantics for Abadi and Leino’s Logic of Objects

  21. Chapter

    Pages 279-294

    A Design for a Security-Typed Language with Certificate-Based Declassification

previous Page of 2