Table of contents

  1. Front Matter
  2. M. Alpuente, M. Falaschi, G. Vidal
    Pages 45-61
  3. Roberto Barbuti, Paolo Mancarella
    Pages 62-76
  4. J. A. Bergstra, T. B. Dinesh, J. Field, J. Heering
    Pages 92-107
  5. F. Bueno, D. Cabeza, M. Hermenegildo, G. Puebla
    Pages 108-124
  6. Pascal Fradet, Ronan Gaugne, Daniel Le Métayer
    Pages 125-140
  7. Roberto Giacobazzi, Francesco Ranzato
    Pages 141-155
  8. J. C. González-Moreno, M. T. Hortalá-González, F. J. López-Fraguas, M. Rodríguez-Artalejo
    Pages 156-172
  9. Eric Goubault
    Pages 173-187
  10. Thomas P. Jensen, Ian Mackie
    Pages 188-203
  11. John Launchbury, Ross Paterson
    Pages 204-218
  12. Sheng Liang, Paul Hudak
    Pages 219-234
  13. F. Maraninchi, N. Halbwachs
    Pages 235-249
  14. Stephan Melzer, Javier Esparza
    Pages 250-264
  15. Ugo Montanari, Marco Pistore, Daniel Yankelevich
    Pages 265-279
  16. Jens Palsberg, Boaz Patt-Shamir, Karl Lieberherr
    Pages 280-295
  17. Ekkehard Rohwedder, Frank Pfenning
    Pages 296-310
  18. Helmut Seidl
    Pages 326-340
  19. Geoffrey Smith, Dennis Volpano
    Pages 341-355
  20. Michael Thuné, Krister Åhlander
    Pages 373-386
  21. Steffen van Bakel, Franco Barbanera, Maribel Fernández
    Pages 387-403
  22. Back Matter

About these proceedings


This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996.
The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques.


Program Analysis Program Transformations Program Verification Programmiersprachen Programmiersprachenimplementierung Programming Language Implementation Programming languages Programmtransformationen programming programming language semantics verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61055-7
  • Online ISBN 978-3-540-49942-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences