Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... March 28 - April 4, 1998, Proceedings

by Chris Hankin (Editor)

Concurrent constraint programming based on functional programming.- A bisimulation method for cryptographic protocols.- A polyvariant binding-time analysis for off-line partial deduction.- Verifiable and executable logic specifications of concurrent objects in $$\mathcal{L}_\pi$$ .- Complexity of concrete type-inference in the presence of exceptions.- Synchronisation analysis to stop tupling.- Propagating An efficient new fixpoint algorithm for distributive constraint systems.- Reasoning about classes in object-oriented Logical models and tools.- Language primitives and type discipline for structured communication-based programming.- The functional Shape!.- Code motion and code Just synonyms?.- Recursive object types in a logic of object-oriented programs.- About modes and states for reactive systems.- From classes to objects via subtyping.- Building a bridge between pointer aliases and program dependences.- A complete declarative debugger of missing answers.- Systematic change of data Program manipulations and a case study.- A generic framework for specialization (abridged version).

300 pages, Paperback

First published April 24, 1998