The SCEAS System
Navigation Menu

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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002