ESOP '88

Semantics-based program integration.- A semantics driven temporal verification system.- Algebraic formalisation of program development by transformation.- QPC: QJ-based proof compiler -simple examples and analysis-.- Implementation of modular algebraic specifications.- A polymorphic type system with subtypes for Prolog.- Type inference with subtypes.- A theory of software reusability.- Parametric overloading in polymorphic programming languages.- Programming with proofs: A second order type theory.- An exception handling construct for functional languages.- A functional language for the specification of complex tree transformations.- Garp: Graph abstractions for concurrent programming.- Extending functional programming towards relations.- Perfect pipelining: A new loop parallelization technique.- New insights into partial evaluation: the SCHISM experiment.- Code selection techniques: Pattern matching, tree parsing, and inversion of derivors.- Adding relational query facilities to software development environments.- Compilation of logic programs for restricted and-parallelism.- Implementation of lazy pattern matching algorithms.- Enhancing Prolog to support Prolog programming environments.- 2-Level ?-lifting.- Deforestation: Transforming programs to eliminate trees.- On implementing logic programming languages on a dataflow architecture.- The PSG system: From formal language definitions to interactive programming environments.- LPG: A generic, logic and functional programming language.- CEC: A system for the completion of conditional equational specifications.- A functional language for the specification of complex tree transformations.