Table of contents

  1. Front Matter
  2. Andrew W. Appel, David B. MacQueen
    Pages 1-13
  3. Lee Naish
    Pages 15-26
  4. Susumu Yamasaki
    Pages 27-38
  5. Heinz Kredel
    Pages 39-50
  6. Arnd Poetzsch-Heffter
    Pages 63-74
  7. K. G. Langendoen, W. G. Vree
    Pages 99-110
  8. María Alpuente, Moreno Falaschi
    Pages 111-122
  9. Manuel M. T. Chakravarty, Hendrik C. R. Lock
    Pages 123-134
  10. Charles Consel, Siau Cheng Khoo
    Pages 135-146
  11. Egon Boerger, Bart Demoen
    Pages 147-158
  12. Andrew Davison
    Pages 171-182
  13. C. W. Keßler, W. J. Paul, T. Rauber
    Pages 195-206
  14. Nicolas Halbwachs, Pascal Raymond, Christophe Ratel
    Pages 207-218
  15. C. H. A. Koster, J. G. Beney
    Pages 219-230
  16. Harald Vogt, Doaitse Swierstra, Matthijs Kuiper
    Pages 231-242
  17. Hassan Aït-Kaci, Andreas Podelski
    Pages 255-274
  18. Weidong Chen, David Scott Warren
    Pages 287-298
  19. Ulf Nilsson
    Pages 299-309
  20. G. Filè, P. Sottero
    Pages 311-322
  21. Rita Loogen, Stephan Winkler
    Pages 335-346
  22. P. H. Cheong, L. Fribourg
    Pages 359-370
  23. Sergio Antoy
    Pages 371-382
  24. Pascal van Hentenryck, Yves Deville
    Pages 395-406
  25. Antonio Brogi, Maurizio Gabbrielli
    Pages 407-418
  26. Ulrich Fraus, Heinrich Hußmann
    Pages 421-422
  27. Michael Hanus
    Pages 423-424
  28. Beate Baum, Peter Forbrig
    Pages 427-428
  29. Giuseppe Attardi, Mauro Gaspari
    Pages 429-430
  30. Bruno Legeard, Emmanuel Legros
    Pages 431-433
  31. Back Matter

About these proceedings


This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Programming (PLILP '91) held in Passau, Germany, August 26-28, 1991. The aim of the symposium was to explore new declarative concepts, methods and techniques relevant for the implementation of all kinds of programming languages, whether algorithmic or declarative ones. The intention was to gather researchers from the fields of algorithmic programming languages as well as logic, functional and object-oriented programming. This volume contains the two invited talks given at the symposium by H. Ait-Kaci and D.B. MacQueen, 32 selected papers, and abstracts of several system demonstrations. The proceedings of PLILP '88 and PLILP '90 are available as Lecture Notes in Computer Science Volumes 348 and 456.


Logic Programming PROLOG Programmiermethodiken Programming Languages Implementation Programming Techniques algorithm algorithms logic object-oriented programming programming programming language

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54444-9
  • Online ISBN 978-3-540-38362-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site