ESOP ’88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings

Thomas Reps, Susan Horwitz (auth.), H. Ganzinger (eds.)3540190279, 9783540190271

The volume contains the 23 papers selected for presentation at the ESOP ’88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel architectures and optimization of functional programs to new concepts for programming environments is covered. Another large section consists of papers in the area of algebraic specification and type concepts. The papers in this section are devoted to issues such as polymorphism, subtypes and notions of implementation and reuse for algebraic specifications. Two further sections are devoted to new language concepts and novel approaches to program development and verification.

---

Table of contents :
Semantics-based program integration….Pages 1-20
A semantics driven temporal verification system….Pages 21-33
Algebraic formalisation of program development by transformation….Pages 34-48
QPC: QJ-based proof compiler -simple examples and analysis-….Pages 49-63
Implementation of modular algebraic specifications….Pages 64-78
A polymorphic type system with subtypes for Prolog….Pages 79-93
Type inference with subtypes….Pages 94-114
A theory of software reusability….Pages 115-130
Parametric overloading in polymorphic programming languages….Pages 131-144
Programming with proofs: A second order type theory….Pages 145-159
An exception handling construct for functional languages….Pages 160-174
A functional language for the specification of complex tree transformations….Pages 175-190
Garp: Graph abstractions for concurrent programming….Pages 191-205
Extending functional programming towards relations….Pages 206-220
Perfect pipelining: A new loop parallelization technique….Pages 221-235
New insights into partial evaluation: the SCHISM experiment….Pages 236-246
Code selection techniques: Pattern matching, tree parsing, and inversion of derivors….Pages 247-268
Adding relational query facilities to software development environments….Pages 269-283
Compilation of logic programs for restricted and-parallelism….Pages 284-297
Implementation of lazy pattern matching algorithms….Pages 298-316
Enhancing Prolog to support Prolog programming environments….Pages 317-327
2-Level λ-lifting….Pages 328-343
Deforestation: Transforming programs to eliminate trees….Pages 344-358
On implementing logic programming languages on a dataflow architecture….Pages 359-372
The PSG system: From formal language definitions to interactive programming environments….Pages 373-375
LPG: A generic, logic and functional programming language….Pages 376-377
CEC: A system for the completion of conditional equational specifications….Pages 378-379
A functional language for the specification of complex tree transformations….Pages 380-380