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


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.


algorithm algorithms design logic programming programming language semantics verification

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment