Table of contents

  1. Front Matter
  2. Henrik Reif Andersen
    Pages 1-19
  3. Albert Benveniste, Michel Le Borgne, Paul Le Guernic
    Pages 20-38
  4. Gilles Bernot, Michel Bidoit, Teodor Knapik
    Pages 39-55
  5. David Bernstein, Michael Rodeh, Mooly Sagiv
    Pages 56-72
  6. A. Bossi, N. Cocco, M. Fabris
    Pages 73-92
  7. X. J. Chen, C. Montangero
    Pages 93-109
  8. Olivier Danvy
    Pages 130-150
  9. Kyung-Goo Doh, David A. Schmidt
    Pages 151-166
  10. Roberto Giacobazzi, Laura Ricci
    Pages 167-181
  11. Benjamin Goldberg
    Pages 200-218
  12. Chris Hankin, Sebastian Hunt
    Pages 219-232
  13. Fritz Henglein
    Pages 233-253
  14. Guido Hogen, Andrea Kindler, Rita Loogen
    Pages 254-268
  15. John Hughes, John Launchbury
    Pages 269-286
  16. Mark P. Jones
    Pages 287-306
  17. Padmanabhan Krishnan
    Pages 307-320

About these proceedings

Introduction

This volume contains selected papers presented at the European Symposium on Programming (ESOP) held jointly with the seventeeth Colloquium on Trees in Algebra and Programming (CAAP) in Rennes, France, February 26-28, 1992 (the proceedings of CAAP appear in LNCS 581). The previous symposiawere held in France, Germany, and Denmark. Every even year, as in 1992, CAAPis held jointly with ESOP. ESOP addresses fundamental issues and important developments in the specification and implementation of programming languages and systems. It continues lines begun in France and Germany under the names "Colloque sur la Programmation" and the GI workshop on "Programmiersprachen und Programmentwicklung". The programme committee received 71 submissions, from which 28 have been selected for inclusion in this volume.

Keywords

Implementation Implementierung Programmentwicklung Programmiersprachen Programmierstil Programmiersysteme Programming Languages Programming Styles Programming Systems Specification programming programming language real-time semantics theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-55253-7
  • Copyright Information Springer-Verlag 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55253-6
  • Online ISBN 978-3-540-46803-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace