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
  16. C. Barry Jay, J. R. B. Cockett
    Pages 302-316
  17. Johan Jeuring, Doaitse Swierstra
    Pages 317-332
  18. Stefan Kahrs
    Pages 333-347
  19. Andrew Kennedy
    Pages 348-362
  20. Benjamin Z. Li
    Pages 379-393
  21. David B. MacQueen, Mads Tofte
    Pages 409-423
  22. Andy Mück, Thomas Streicher, Hendrik C. R. Lock
    Pages 439-453
  23. Peter W. O'Hearn, Jon G. Riecke
    Pages 454-468
  24. K. V. S. Prasad
    Pages 469-484
  25. Morten Heine Sørensen, Robert Glück, Neil D. Jones
    Pages 485-500
  26. David Walker
    Pages 501-516
  27. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site