ESOP 1998

18 papers

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