Book Volume 3924 2006

Programming Languages and Systems

15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings


ISBN: 978-3-540-33095-0 (Print) 978-3-540-33096-7 (Online)

Table of contents (23 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Chapter

    Pages 1-6

    Types for Hierarchic Shapes

  3. Chapter

    Pages 7-21

    Linear Regions Are All You Need

  4. Chapter

    Pages 22-37

    Type-Based Amortised Heap-Space Analysis

  5. Chapter

    Pages 38-53

    Haskell Is Not Not ML

  6. Chapter

    Pages 54-68

    Coinductive Big-Step Operational Semantics

  7. Chapter

    Pages 69-83

    Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types

  8. Chapter

    Pages 84-99

    Approaches to Polymorphism in Classical Sequent Calculus

  9. Chapter

    Pages 100-114

    Pure Pattern Calculus

  10. Chapter

    Pages 115-130

    A Verification Methodology for Model Fields

  11. Chapter

    Pages 131-145

    ILC: A Foundation for Automated Reasoning About Pointer Programs

  12. Chapter

    Pages 146-161

    Bisimulations for Untyped Imperative Objects

  13. Chapter

    Pages 162-179

    A Typed Assembly Language for Confidentiality

  14. Chapter

    Pages 180-196

    Flow Locks: Towards a Core Calculus for Dynamic Flow Policies

  15. Chapter

    Pages 197-213

    A Basic Contract Language for Web Services

  16. Chapter

    Pages 214-229

    Types for Dynamic Reconfiguration

  17. Chapter

    Pages 230-245

    Size-Change Termination Analysis in k-Bits

  18. Chapter

    Pages 246-263

    Path Optimization in Programs and Its Application to Debugging

  19. Chapter

    Pages 264-278

    Inference of User-Defined Type Qualifiers and Qualifier Rules

  20. Chapter

    Pages 279-293

    Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

  21. Chapter

    Pages 294-308

    Embedding Dynamic Dataflow in a Call-by-Value Language

previous Page of 2