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

    Book Chapter

    Pages 1-2

    Resources, Concurrency, and Local Reasoning

  3. No Access

    Book Chapter

    Pages 3-17

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

  4. No Access

    Book Chapter

    Pages 18-32

    Strong Preservation as Completeness in Abstract Interpretation

  5. No Access

    Book Chapter

    Pages 33-48

    Static Analysis of Digital Filters

  6. No Access

    Book Chapter

    Pages 49-63

    Sound and Decidable Type Inference for Functional Dependencies

  7. No Access

    Book Chapter

    Pages 64-78

    Call-by-Value Mixin Modules

  8. No Access

    Book Chapter

    Pages 79-93

    ML-Like Inference for Classifiers

  9. No Access

    Book Chapter

    Pages 94-108

    From Constraints to Finite Automata to Filtering Algorithms

  10. No Access

    Book Chapter

    Pages 109-123

    A Memoizing Semantics for Functional Logic Languages

  11. No Access

    Book Chapter

    Pages 124-139

    Adaptive Pattern Matching on Binary Data

  12. No Access

    Book Chapter

    Pages 140-154

    Compositional Analysis of Authentication Protocols

  13. No Access

    Book Chapter

    Pages 155-170

    A Distributed Abstract Machine for Boxed Ambient Calculi

  14. No Access

    Book Chapter

    Pages 171-187

    A Dependently Typed Ambient Calculus

  15. No Access

    Book Chapter

    Pages 188-203

    A Control Flow Analysis for Safe and Boxed Ambients

  16. No Access

    Book Chapter

    Pages 204-218

    Linear Types for Packet Processing

  17. No Access

    Book Chapter

    Pages 219-233

    Modal Proofs as Distributed Programs

  18. No Access

    Book Chapter

    Pages 234-248

    ULM: A Core Programming Model for Global Computing

  19. No Access

    Book Chapter

    Pages 249-263

    A Semantic Framework for Designer Transactions

  20. No Access

    Book Chapter

    Pages 264-278

    Semantical Analysis of Specification Logic, 3

  21. No Access

    Book Chapter

    Pages 279-293

    Answer Type Polymorphism in Call-by-Name Continuation Passing

previous Page of 2