E-Book Overview
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.
E-Book Content
Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis
300 H. Ganzinger (Ed.)
ESOP '88 2nd European Symposium on Programming Nancy, France, March 2t-24, 1988 Proceedings
Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo
Editorial Board D. Barstow W. Brauer P. Brinch Hansen D. Gries D. Luckham C. Moler A. Pnueli G. Seegm(Jller J. Stoer N. Wirth Ed~or Harald Ganzinger Fachbereich Informatik, Universit&tDortmund Postfach 50 05 00, D-4600 Dortmund 50
CR Subject Classification (1987): D,1.1-3, D,2-3, F.3 ISBN 3-540-19027-9 Springer-Verlag Berlin Heidelberg New York ISBN 0-387-19027-9 Springer-Verlag New York Berlin Heidelberg This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in other ways, and storage in data banks. Duplication of this publication or parts thereof is only permitted under the provisions of the German Copyright Law of September 9, t965, in its version of June 24, 1985, and a copyright fee must always be paid. Violations fall under the prosecution act of the German Copyright Law. © Springer-Verlag Berlin Heidelberg 1988 Printed in Germany Printing and binding: Druckhaus Beltz, Hemsbach/Bergstr. 214513140-543210
Preface This volume contains the papers selected for presentation at the 2nd European Symposium on Programming, Nancy, March 21-24, 1988. The first conference in this series was held at Saarbriicken in March 1986 (see LNCS 213) as a successor to the "Colloque sur la Programmation" and the GI Conference on "Programmiersprachen und Programmentwicklung". ESOP '88 has been held in conjunction with CAAP '88. The theme of the ESOP conference is the design, specification and implementation of programming languages and systems. Emphasis is 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. It was therefore decided that the conference be accompanied by an exhibition of software systems in the area. This volume also contains a short description of some of the systems that have been demonstrated. The program committee has selected 23 papers out of a total of 75 submitted papers. In addition, the volume contains a paper from one of the two invited speakers. The program committee has consisted of the following persons: S. Abramsky, l_~ndon E. Astesiano, Genova M. Bmynooghe, Leuven G. Cousineau, Paris H. Ganzinger, Dortmund (chairman) J. Hughes, Glasgow Th. Johnsson, GCteborg N. Jones, Kobenhavn
G. Kahn, Sophia-Antipolis P. Klint, Amsterdam P. Lescanne, Nancy T. Reps, M