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
  17. Luis A. Galán, Cristóbal Pareja, Ricardo Peña
    Pages 289-303
  18. Thomas Gehrke, Michaela Huhn
    Pages 304-318
  19. Maribel Fernández, Ian Mackie
    Pages 319-333
  20. María -Virginia Aponte, Roberto Di Cosmo
    Pages 334-346
  21. Fairouz Kamareddine, Alejandro Ríos
    Pages 378-392
  22. Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer H. Rose
    Pages 393-407
  23. Peter Van Roy, Michael Mehl, Ralf Scheidhauer
    Pages 438-453
  24. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
    Pages 471-472
  25. Sergio Antoy
    Pages 473-474
  26. Germán Puebla, Manuel Hermenegildo
    Pages 475-476
  27. Christian Schulte
    Pages 477-478
  28. Back Matter

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
  • Buy this book on publisher's site