Table of contents

  1. Front Matter
  2. Martín Abadi, Luca Cardelli
    Pages 1-25
  3. Robin Milner
    Pages 26-42
  4. Henrik Reif Andersen, Michael Mendler
    Pages 58-73
  5. Bernard Berthomieu, Thierry Le Sergent
    Pages 89-104
  6. Michel Bidoit, Rolf Hennicker, Martin Wirsing
    Pages 105-119
  7. Corrado Böhm, Adolfo Piperno, Stefano Guerrini
    Pages 135-149
  8. S. Cicerone, F. Parisi Presicce
    Pages 165-179
  9. Alessandra Di Pierro, Catuscia Palamidessi
    Pages 195-210
  10. Pascal Fradet
    Pages 211-224
  11. Robert Giegerich, Stefan Kurtz
    Pages 225-240
  12. Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler
    Pages 241-256
  13. Chris Hankin, Daniel Le Métayer
    Pages 257-271
  14. Michael Hanus
    Pages 272-286
  15. Fritz Henglein, Christian Mossin
    Pages 287-301

About these proceedings

Introduction

This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994. ESOP is devoted to fundamental issues in the specification, design and implementation of programming languages and systems. The scope of the symposium includes work on: software analysis, specification, transformation, development and verification/certification; programming paradigms (functional, logic, object-oriented, concurrent, etc.) and their combinations; programming language concepts, implementation techniques and semantics; software design methodologies; typing disciplines and typechecking algorithms; and programming support tools.

Keywords

algorithm algorithms design logic programming programming language semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-57880-3
  • Copyright Information Springer-Verlag 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57880-2
  • Online ISBN 978-3-540-48376-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book