Conferences in DBLP

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

1. Gert Smolka
   Concurrent Constraint Programming Based on Functional Programming (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   ESOP, 1998, pp:1-11 [Conf]
   
2. Martín Abadi, Andrew D. Gordon
   A Bisimulation Method for Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
   ESOP, 1998, pp:12-26 [Conf]
   
3. Maurice Bruynooghe, Michael Leuschel, Konstantinos F. Sagonas
   A Polyvariant Binding-Time Analysis for Off-line Partial Deduction. [Citation Graph (0, 0)][DBLP]
   ESOP, 1998, pp:27-41 [Conf]
   
4. Luís Caires, Luís Monteiro
   Verifiable and Executable Logic Specifications of Concurrent Objects in L_pi. [Citation Graph (0, 0)][DBLP]
   ESOP, 1998, pp:42-56 [Conf]
   
5. Ramkrishna Chatterjee, Barbara G. Ryder, William Landi
   Complexity of Concrete Type-Inference in the Presence of Exceptions. [Citation Graph (0, 0)][DBLP]
   ESOP, 1998, pp:57-74 [Conf]
   
6. Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee
   Synchronisation Analysis to Stop Tulping. [Citation Graph (0, 0)][DBLP]
   ESOP, 1998, pp:75-89 [Conf]
   
7. Christian Fecht, Helmut Seidl
   Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems. [Citation Graph (0, 0)][DBLP]
   ESOP, 1998, pp:90-104 [Conf]
   
8. Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
   Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. [Citation Graph (0, 0)][DBLP]
   ESOP, 1998, pp:105-121 [Conf]
   
9. Kohei Honda, Vasco Thudichum Vasconcelos, Makoto Kubo
   Language Primitives and Type Discipline for Structured Communication-Based Programming. [Citation Graph (0, 0)][DBLP]
   ESOP, 1998, pp:122-138 [Conf]
   
10. C. Barry Jay, Paul Steckler
    The Functional Imperative: Shape! [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:139-153 [Conf]
    
11. Jens Knoop, Oliver Rüthing, Bernhard Steffen
    Code Motion and Code Placement: Just Synonyms? [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:154-169 [Conf]
    
12. K. Rustan M. Leino
    Recursive Object Types in a Logic of Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:170-184 [Conf]
    
13. Florence Maraninchi, Yann Rémond
    Mode-Automata: About Modes and States for Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:185-199 [Conf]
    
14. Didier Rémy
    From Classes to Objects via Subtyping. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:200-220 [Conf]
    
15. John L. Ross, Shmuel Sagiv
    Building a Bridge between Pointer Aliases and Program Dependences. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:221-235 [Conf]
    
16. Salvatore Ruggieri
    A Complete Declarative Debugger of Missing Answers. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:236-251 [Conf]
    
17. William L. Scherlis
    Systematic Change of Data Representation: Program Manipulations and a Case Study. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:252-266 [Conf]
    
18. Peter Thiemann
    A Generic Framework for Specialization (Abridged Version). [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:267-281 [Conf]