13. ESOP 2004: Barcelona, Spain (Part of ETAPS 2004)

@proceedings{DBLP:conf/esop/2004,
  editor    = {David A. Schmidt},
  title     = {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},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2986},
  year      = {2004},
  isbn      = {3-540-21313-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Peter W. O'Hearn:
  Resources, Concurrency, and Local Reasoning (Abstract). 1-2
  Electronic Edition (link) BibTeX
• Antoine Miné:
  Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. 3-17
  Electronic Edition (link) BibTeX
• Francesco Ranzato, Francesco Tapparo:
  Strong Preservation as Completeness in Abstract Interpretation. 18-32
  Electronic Edition (link) BibTeX
• Jérôme Feret:
  Static Analysis of Digital Filters. 33-48
  Electronic Edition (link) BibTeX
• Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann:
  Sound and Decidable Type Inference for Functional Dependencies. 49-63
  Electronic Edition (link) BibTeX
• Tom Hirschowitz, Xavier Leroy, J. B. Wells:
  Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. 64-78
  Electronic Edition (link) BibTeX
• Cristiano Calcagno, Eugenio Moggi, Walid Taha:
  ML-Like Inference for Classifiers. 79-93
  Electronic Edition (link) BibTeX
• Mats Carlsson, Nicolas Beldiceanu:
  From Constraints to Finite Automata to Filtering Algorithms. 94-108
  Electronic Edition (link) BibTeX
• Salvador España, Vicent Estruch:
  A Memoizing Semantics for Functional Logic Languages. 109-123
  Electronic Edition (link) BibTeX
• Per Gustafsson, Konstantinos F. Sagonas:
  Adaptive Pattern Matching on Binary Data. 124-139
  Electronic Edition (link) BibTeX
• Michele Bugliesi, Riccardo Focardi, Matteo Maffei:
  Compositional Analysis of Authentication Protocols. 140-154
  Electronic Edition (link) BibTeX
• Andrew Phillips, Nobuko Yoshida, Susan Eisenbach:
  A Distributed Abstract Machine for Boxed Ambient Calculi. 155-170
  Electronic Edition (link) BibTeX
• Cédric Lhoussaine, Vladimiro Sassone:
  A Dependently Typed Ambient Calculus. 171-187
  Electronic Edition (link) BibTeX
• Francesca Levi, Chiara Bodei:
  A Control Flow Analysis for Safe and Boxed Ambients. 188-203
  Electronic Edition (link) BibTeX
• Robert Ennals, Richard Sharp, Alan Mycroft:
  Linear Types for Packet Processing. 204-218
  Electronic Edition (link) BibTeX
• Limin Jia, David Walker:
  Modal Proofs as Distributed Programs (Extended Abstract). 219-233
  Electronic Edition (link) BibTeX
• Gérard Boudol:
  ULM: A Core Programming Model for Global Computing: (Extended Abstract). 234-248
  Electronic Edition (link) BibTeX
• Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking:
  A Semantic Framework for Designer Transactions. 249-263
  Electronic Edition (link) BibTeX
• Dan R. Ghica:
  Semantical Analysis of Specification Logic, 3: An Operational Approach. 264-278
  Electronic Edition (link) BibTeX
• Hayo Thielecke:
  Answer Type Polymorphism in Call-by-Name Continuation Passing. 279-293
  Electronic Edition (link) BibTeX
• Sébastien Carlier, Jeff Polakow, J. B. Wells, A. J. Kfoury:
  System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types. 294-309
  Electronic Edition (link) BibTeX
• René Rydhof Hansen:
  A Hardest Attacker for Leaking References. 310-324
  Electronic Edition (link) BibTeX
• Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen:
  Trust Management in Strand Spaces: A Rely-Guarantee Method. 325-339
  Electronic Edition (link) BibTeX
• Martín Abadi, Bruno Blanchet, Cédric Fournet:
  Just Fast Keying in the Pi Calculus. 340-354
  Electronic Edition (link) BibTeX
• Vitaly Shmatikov:
  Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation. 355-369
  Electronic Edition (link) BibTeX
• Jean-Christophe Filliâtre, Pierre Letouzey:
  Functors for Proofs and Programs. 370-384
  Electronic Edition (link) BibTeX
• David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu:
  Extracting a Data Flow Analyser in Constructive Logic. 385-400
  Electronic Edition (link) BibTeX
• Arend Rensink:
  Canonical Graph Shapes. 401-415
  Electronic Edition (link) BibTeX