Book Volume 2986 2004

Programming Languages and Systems

13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings

Editors:

ISBN: 978-3-540-21313-0 (Print) 978-3-540-24725-8 (Online)

Table of contents (28 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Chapter

    Pages 1-2

    Resources, Concurrency, and Local Reasoning

  3. Chapter

    Pages 3-17

    Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

  4. Chapter

    Pages 18-32

    Strong Preservation as Completeness in Abstract Interpretation

  5. Chapter

    Pages 33-48

    Static Analysis of Digital Filters

  6. Chapter

    Pages 49-63

    Sound and Decidable Type Inference for Functional Dependencies

  7. Chapter

    Pages 64-78

    Call-by-Value Mixin Modules

  8. Chapter

    Pages 79-93

    ML-Like Inference for Classifiers

  9. Chapter

    Pages 94-108

    From Constraints to Finite Automata to Filtering Algorithms

  10. Chapter

    Pages 109-123

    A Memoizing Semantics for Functional Logic Languages

  11. Chapter

    Pages 124-139

    Adaptive Pattern Matching on Binary Data

  12. Chapter

    Pages 140-154

    Compositional Analysis of Authentication Protocols

  13. Chapter

    Pages 155-170

    A Distributed Abstract Machine for Boxed Ambient Calculi

  14. Chapter

    Pages 171-187

    A Dependently Typed Ambient Calculus

  15. Chapter

    Pages 188-203

    A Control Flow Analysis for Safe and Boxed Ambients

  16. Chapter

    Pages 204-218

    Linear Types for Packet Processing

  17. Chapter

    Pages 219-233

    Modal Proofs as Distributed Programs

  18. Chapter

    Pages 234-248

    ULM: A Core Programming Model for Global Computing

  19. Chapter

    Pages 249-263

    A Semantic Framework for Designer Transactions

  20. Chapter

    Pages 264-278

    Semantical Analysis of Specification Logic, 3

  21. Chapter

    Pages 279-293

    Answer Type Polymorphism in Call-by-Name Continuation Passing

previous Page of 2