Gert Smolka (auth.), Chris Hankin (eds.)3540643028, 9783540643029
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.
Table of contents :
Concurrent constraint programming based on functional programming….Pages 1-11
A bisimulation method for cryptographic protocols….Pages 12-26
A polyvariant binding-time analysis for off-line partial deduction….Pages 27-41
Verifiable and executable logic specifications of concurrent objects in $$mathcal{L}_pi$$ ….Pages 42-56
Complexity of concrete type-inference in the presence of exceptions….Pages 57-74
Synchronisation analysis to stop tupling….Pages 75-89
Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems….Pages 90-104
Reasoning about classes in object-oriented languages: Logical models and tools….Pages 105-121
Language primitives and type discipline for structured communication-based programming….Pages 122-138
The functional imperative: Shape!….Pages 139-153
Code motion and code placement: Just synonyms?….Pages 154-169
Recursive object types in a logic of object-oriented programs….Pages 170-184
Mode-automata: About modes and states for reactive systems….Pages 185-199
From classes to objects via subtyping….Pages 200-220
Building a bridge between pointer aliases and program dependences….Pages 221-235
A complete declarative debugger of missing answers….Pages 236-251
Systematic change of data representation: Program manipulations and a case study….Pages 252-266
A generic framework for specialization (abridged version)….Pages 267-281
Reviews
There are no reviews yet.