Programming Languages and Systems

1. Front Matter

   PDF

2. Concurrent constraint programming based on functional programming

   • Gert Smolka

   Pages 1-11

3. A bisimulation method for cryptographic protocols

   • Martin Abadi, Andrew D. Gordon

   Pages 12-26

4. A polyvariant binding-time analysis for off-line partial deduction

   • Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas

   Pages 27-41

5. Verifiable and executable logic specifications of concurrent objects in \(\mathcal{L}_\pi\)

   • Luís Caires, Luís Monteiro

   Pages 42-56

6. Complexity of concrete type-inference in the presence of exceptions

   • Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi

   Pages 57-74

7. Synchronisation analysis to stop tupling

   • Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee

   Pages 75-89

8. Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems

   • Christian Fecht, Helmut Seidl

   Pages 90-104

9. Reasoning about classes in object-oriented languages: Logical models and tools

   • Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews

   Pages 105-121

10. Language primitives and type discipline for structured communication-based programming

    • Kohei Honda, Vasco T. Vasconcelos, Makoto Kubo

    Pages 122-138

11. The functional imperative: Shape!

    • C. B. Jay, P. A. Steckler

    Pages 139-153

12. Code motion and code placement: Just synonyms?

    • Jens Knoop, Oliver Rüthing, Bernhard Steffen

    Pages 154-169

13. Recursive object types in a logic of object-oriented programs

    • K. Rustan, M. Leino

    Pages 170-184

14. Mode-automata: About modes and states for reactive systems

    • Florence Maraninchi, Yann Rémond

    Pages 185-199

15. From classes to objects via subtyping

    • Didier Rémy

    Pages 200-220

16. Building a bridge between pointer aliases and program dependences

    • John L. Ross, Mooly Sagiv

    Pages 221-235

17. A complete declarative debugger of missing answers

    • Salvatore Ruggieri

    Pages 236-251

18. Systematic change of data representation: Program manipulations and a case study

    • William L. Scherlis

    Pages 252-266

19. A generic framework for specialization (abridged version)

    • Peter Thiemann

    Pages 267-281

This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.

• Algorithms
• Automat
• Bisimulation
• Constraint
• Exception
• automata
• complexity
• functional programming
• logic
• object
• programming
• programming language
• semantics
• simulation
• verification

Policies and ethics