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

Editors:

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. No Access

    Book Chapter

    Pages 1-4

    Programming with Explicit Security Policies

  3. No Access

    Book Chapter

    Pages 5-20

    Trace Partitioning in Abstract Interpretation Based Static Analyzers

  4. No Access

    Book Chapter

    Pages 21-30

    The ASTREÉ Analyzer

  5. No Access

    Book Chapter

    Pages 31-45

    Interprocedural Herbrand Equalities

  6. No Access

    Book Chapter

    Pages 46-60

    Analysis of Modular Arithmetic

  7. No Access

    Book Chapter

    Pages 61-76

    Forward Slicing by Conjunctive Partial Deduction and Argument Filtering

  8. No Access

    Book Chapter

    Pages 77-93

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

  9. No Access

    Book Chapter

    Pages 94-107

    Summaries for While Programs with Recursion

  10. No Access

    Book Chapter

    Pages 108-123

    Determinacy Inference for Logic Programs

  11. No Access

    Book Chapter

    Pages 124-140

    Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis

  12. No Access

    Book Chapter

    Pages 141-156

    A Type Discipline for Authorization Policies

  13. No Access

    Book Chapter

    Pages 157-171

    Computationally Sound, Automated Proofs for Security Protocols

  14. No Access

    Book Chapter

    Pages 172-185

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

  15. No Access

    Book Chapter

    Pages 186-200

    Analysis of an Electronic Voting Protocol in the Applied Pi Calculus

  16. No Access

    Book Chapter

    Pages 201-216

    Streams with a Bottom in Functional Languages

  17. No Access

    Book Chapter

    Pages 217-232

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

  18. No Access

    Book Chapter

    Pages 233-247

    BI Hyperdoctrines and Higher-Order Separation Logic

  19. No Access

    Book Chapter

    Pages 248-262

    Deciding Reachability in Mobile Ambients

  20. No Access

    Book Chapter

    Pages 263-278

    Denotational Semantics for Abadi and Leino’s Logic of Objects

  21. No Access

    Book Chapter

    Pages 279-294

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

previous Page of 2