David A. Schmidt (Ed.): 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. Springer 2004 Lecture Notes in Computer Science ISBN 3-540-21313-9- Peter W. O'Hearn: Resources, Concurrency, and Local Reasoning (Abstract). 1-2
- Antoine Miné: Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. 3-17
- Francesco Ranzato, Francesco Tapparo: Strong Preservation as Completeness in Abstract Interpretation. 18-32
- Jérôme Feret: Static Analysis of Digital Filters. 33-48
- Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann: Sound and Decidable Type Inference for Functional Dependencies. 49-63
- Tom Hirschowitz, Xavier Leroy, J. B. Wells: Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. 64-78
- Mats Carlsson, Nicolas Beldiceanu: From Constraints to Finite Automata to Filtering Algorithms. 94-108
- Michele Bugliesi, Riccardo Focardi, Matteo Maffei: Compositional Analysis of Authentication Protocols. 140-154
- Andrew Phillips, Nobuko Yoshida, Susan Eisenbach: A Distributed Abstract Machine for Boxed Ambient Calculi. 155-170
- Gérard Boudol: ULM: A Core Programming Model for Global Computing: (Extended Abstract). 234-248
- Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking: A Semantic Framework for Designer Transactions. 249-263
- Dan R. Ghica: Semantical Analysis of Specification Logic, 3: An Operational Approach. 264-278
- Hayo Thielecke: Answer Type Polymorphism in Call-by-Name Continuation Passing. 279-293
- 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
- René Rydhof Hansen: A Hardest Attacker for Leaking References. 310-324
- 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
- Vitaly Shmatikov: Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation. 355-369
- David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu: Extracting a Data Flow Analyser in Constructive Logic. 385-400
- Arend Rensink: Canonical Graph Shapes. 401-415
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team