Conferences in DBLP

European Symposium on Programming (ESOP) (esop)
2004 (conf/esop/2004)

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