Advertisement

Table of contents

  1. Front Matter
  2. Thomas Reps, Susan Horwitz
    Pages 1-20
  3. G. D. Gough, H. Barringer
    Pages 21-33
  4. N. W. P. van Diepen
    Pages 64-78
  5. Roland Dietrich, Frank Hagl
    Pages 79-93
  6. You-Chin Fuh, Prateek Mishra
    Pages 94-114
  7. M. C. Gaudel, Th. Moineau
    Pages 115-130
  8. Manfred Bretz, Jürgen Ebert
    Pages 160-174
  9. Simon M. Kaplan, Gail E. Kaiser
    Pages 191-205
  10. Alexander Aiken, Alexandru Nicolau
    Pages 221-235
  11. Dean Jacobs, Anno Langen
    Pages 284-297
  12. A. Martelli, G. F. Rossi
    Pages 317-327
  13. Flemming Nielson, Hanne R. Nielson
    Pages 328-343
  14. Patrick Weemeeuw, Maurice Bruynooghe, Marleen De Hondt, K. U. Leuven
    Pages 359-372
  15. D. Bert, P. Drabik, R. Echahed, O. Declerfayt, B. Demeuse, P -Y. Schobbens et al.
    Pages 376-377
  16. Hubert Bertling, Harald Ganzinger, Renate Schäfers
    Pages 378-379
  17. Back Matter

About these proceedings

Introduction

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.

Keywords

Action Algorithms C programming language Exception Pattern Matching Prolog formal language functional programming logic optimization programming programming language selection semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-19027-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19027-1
  • Online ISBN 978-3-540-38941-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering