Conferences in DBLP

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

1. Xavier Leroy
   Computer Security from a Programming Language and Static Analysis Perspective. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:1-9 [Conf]
   
2. Catherine Meadows
   What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:10-21 [Conf]
   
3. John Clements, Matthias Felleisen
   A Tail-Recursive Semantics for Stack Inspections. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:22-37 [Conf]
   
4. Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
   Flexible Models for Dynamic Linking. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:38-53 [Conf]
   
5. María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
   Correction of Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:54-68 [Conf]
   
6. Luís Fernando Castro, David Scott Warren
   Approximate Pruning in Tabled Logic Programming. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:69-83 [Conf]
   
7. Samir Genaim, Andy King
   Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:84-98 [Conf]
   
8. Hubert Comon-Lundh, Véronique Cortier
   Security Properties: Two Agents Are Sufficient. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:99-113 [Conf]
   
9. Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli
   A Simple Language for Real-Time Cryptographic Protocol Analysis. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:114-128 [Conf]
   
10. Simone Tini
    Rule Formats for Non Interference. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:129-143 [Conf]
    
11. Pablo Giambiagi, Mads Dam
    On the Secure Implementation of Security Protocols. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:144-158 [Conf]
    
12. Peeter Laud
    Handling Encryption in an Analysis for Secure Information Flow. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:159-173 [Conf]
    
13. Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten
    Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:174-188 [Conf]
    
14. Cormac Flanagan
    Automatic Software Model Checking Using CLP. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:189-203 [Conf]
    
15. Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
    Verifying Temporal Heap Properties Specified via Evolution Logic. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:204-222 [Conf]
    
16. Uday S. Reddy, Hongseok Yang
    Correctness of Data Representations Involving Heap Data Structures. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:223-237 [Conf]
    
17. Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
    Modeling Web Interactions. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:238-252 [Conf]
    
18. Cédric Lhoussaine
    Type Inference for a Distributed pi-Calculus. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:253-268 [Conf]
    
19. Martin Erwig, Deling Ren
    Programming Type-Safe Program Updates. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:269-283 [Conf]
    
20. Christian Haack, J. B. Wells
    Type Error Slicing in Implicitly Typed Higher-Order Languages. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:284-301 [Conf]
    
21. Vincent Danos, Cosimo Laneve
    Core Formal Molecular Biology. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:302-318 [Conf]
    
22. Marc Geilen, Twan Basten
    Requirements on the Execution of Kahn Process Networks. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:319-334 [Conf]
    
23. Olivier Danvy, Pablo E. Martínez López
    Tagging, Encoding, and Jones Optimality. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:335-347 [Conf]
    
24. Leonor Prensa Nieto
    The Rely-Guarantee Method in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:348-362 [Conf]
    
25. Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
    Building Certified Libraries for PCC: Dynamic Storage Allocation. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:363-379 [Conf]
    
26. Thomas W. Reps, Shmuel Sagiv, Alexey Loginov
    Finite Differencing of Logical Formulas for Static Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:380-398 [Conf]
    
27. Atsushi Ohori
    Register Allocation by Proof Transformation. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:399-413 [Conf]