Conferences in DBLP

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

1. 
   A Sound Semantics for OCamllight. [Citation Graph (, )][DBLP]
   
   
2. 
   Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. [Citation Graph (, )][DBLP]
   
   
3. 
   Regular Expression Subtyping for XML Query and Update Languages. [Citation Graph (, )][DBLP]
   
   
4. 
   A Theory of Hygienic Macros. [Citation Graph (, )][DBLP]
   
   
5. 
   A Hybrid Denotational Semantics for Hybrid Systems. [Citation Graph (, )][DBLP]
   
   
6. 
   Full Abstraction for Linda. [Citation Graph (, )][DBLP]
   
   
7. 
   Practical Programming with Higher-Order Encodings and Dependent Types. [Citation Graph (, )][DBLP]
   
   
8. 
   Programming in JoCaml (Tool Demonstration). [Citation Graph (, )][DBLP]
   
   
9. 
   Playing with TOY: Constraints and Domain Cooperation. [Citation Graph (, )][DBLP]
   
   
10. 
    Typing Safe Deallocation. [Citation Graph (, )][DBLP]
    
    
11. 
    Iterative Specialisation of Horn Clauses. [Citation Graph (, )][DBLP]
    
    
12. 
    Constructive Mathematics and Functional Programming (Abstract). [Citation Graph (, )][DBLP]
    
    
13. 
    Ranking Abstractions. [Citation Graph (, )][DBLP]
    
    
14. 
    Non-disjunctive Numerical Domain for Array Predicate Abstraction. [Citation Graph (, )][DBLP]
    
    
15. 
    Upper Adjoints for Fast Inter-procedural Variable Equalities. [Citation Graph (, )][DBLP]
    
    
16. 
    Cover Algorithms and Their Combination. [Citation Graph (, )][DBLP]
    
    
17. 
    Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). [Citation Graph (, )][DBLP]
    
    
18. 
    Linear Declassification. [Citation Graph (, )][DBLP]
    
    
19. 
    Just Forget It - The Semantics and Enforcement of Information Erasure. [Citation Graph (, )][DBLP]
    
    
20. 
    Open Bisimulation for the Concurrent Constraint Pi-Calculus. [Citation Graph (, )][DBLP]
    
    
21. 
    The Conversation Calculus: A Model of Service-Oriented Computation. [Citation Graph (, )][DBLP]
    
    
22. 
    Inferring Channel Buffer Bounds Via Linear Programming. [Citation Graph (, )][DBLP]
    
    
23. 
    Verification of Higher-Order Computation: A Game-Semantic Approach. [Citation Graph (, )][DBLP]
    
    
24. 
    Verification of Equivalent-Results Methods. [Citation Graph (, )][DBLP]
    
    
25. 
    Semi-persistent Data Structures. [Citation Graph (, )][DBLP]
    
    
26. 
    A Realizability Model for Impredicative Hoare Type Theory. [Citation Graph (, )][DBLP]
    
    
27. 
    Oracle Semantics for Concurrent Separation Logic. [Citation Graph (, )][DBLP]
    
    
28. 
    Certificate Translation in Abstract Interpretation. [Citation Graph (, )][DBLP]
    
    
29. 
    A Formal Implementation of Value Commitment. [Citation Graph (, )][DBLP]