Table of contents

  1. Front Matter
  2. Lambert Meertens
    Pages 1-16
  3. Stefan Kahrs
    Pages 17-31
  4. G. Bellè, C. B. Jay, E. Moggi
    Pages 32-46
  5. Pascale Louvet, Olivier Ridoux
    Pages 47-61
  6. Joaquín Mateos-Lago, Mario Rodríguez-Artalejo
    Pages 62-76
  7. María García de la Banda, Francisco Bueno, Manuel Hermenegildo
    Pages 77-91
  8. Geoffrey Weyer, William Winsborough
    Pages 92-106
  9. Roberto Bagnara
    Pages 107-121
  10. Didier Parigot, Gilles Roussel, Martin Jourdan, Étienne Duris
    Pages 122-136
  11. Michael Leuschel, Danny De Schreye
    Pages 137-151
  12. Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen
    Pages 152-166
  13. Nicoletta De Francesco, Antonella Santone
    Pages 167-181
  14. G. W. Hamilton
    Pages 213-227
  15. Christoph W. Keßler
    Pages 228-242
  16. Juliana Freire, Terrance Swift, David S. Warren
    Pages 243-258

Other volumes

  1. 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
  2. Programming Languages: Implementations, Logics, and Programs
    8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings

About these proceedings


This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96, held in conjunction with ALP and SAS in Aachen, Germany, in September 1996.
The 30 revised full papers presented in the volume were selected from a total of 97 submissions; also included are one invited contribution by Lambert Meerlens and five posters and demonstrations. The papers are organized in topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, constraints, and deductive database languages.


Constraint Program Analysis Program Semantics Programmiersprachen Programmierumgebungen Programming Environments Programming Languages Programming Techniques Turing programming programming language

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-61756-3
  • Online ISBN 978-3-540-70654-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book