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

Editors:

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

    Book Chapter

    Pages 1-6

    Types for Hierarchic Shapes

  3. No Access

    Book Chapter

    Pages 7-21

    Linear Regions Are All You Need

  4. No Access

    Book Chapter

    Pages 22-37

    Type-Based Amortised Heap-Space Analysis

  5. No Access

    Book Chapter

    Pages 38-53

    Haskell Is Not Not ML

  6. No Access

    Book Chapter

    Pages 54-68

    Coinductive Big-Step Operational Semantics

  7. No Access

    Book Chapter

    Pages 69-83

    Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types

  8. No Access

    Book Chapter

    Pages 84-99

    Approaches to Polymorphism in Classical Sequent Calculus

  9. No Access

    Book Chapter

    Pages 100-114

    Pure Pattern Calculus

  10. No Access

    Book Chapter

    Pages 115-130

    A Verification Methodology for Model Fields

  11. No Access

    Book Chapter

    Pages 131-145

    ILC: A Foundation for Automated Reasoning About Pointer Programs

  12. No Access

    Book Chapter

    Pages 146-161

    Bisimulations for Untyped Imperative Objects

  13. No Access

    Book Chapter

    Pages 162-179

    A Typed Assembly Language for Confidentiality

  14. No Access

    Book Chapter

    Pages 180-196

    Flow Locks: Towards a Core Calculus for Dynamic Flow Policies

  15. No Access

    Book Chapter

    Pages 197-213

    A Basic Contract Language for Web Services

  16. No Access

    Book Chapter

    Pages 214-229

    Types for Dynamic Reconfiguration

  17. No Access

    Book Chapter

    Pages 230-245

    Size-Change Termination Analysis in k-Bits

  18. No Access

    Book Chapter

    Pages 246-263

    Path Optimization in Programs and Its Application to Debugging

  19. No Access

    Book Chapter

    Pages 264-278

    Inference of User-Defined Type Qualifiers and Qualifier Rules

  20. No Access

    Book Chapter

    Pages 279-293

    Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

  21. No Access

    Book Chapter

    Pages 294-308

    Embedding Dynamic Dataflow in a Call-by-Value Language

previous Page of 2