Table of contents

  1. Front Matter
  2. Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo
    Pages 24-38
  3. Michel Dorochevsky, André Véron
    Pages 39-53
  4. Carsten K. Gomard, Peter Sestoft
    Pages 54-68
  5. Krzysztof R. Apt, Alessandro Pellegrini
    Pages 69-86
  6. Isabelle Attali, Jacques Chazarain, Serge Gilette
    Pages 87-99
  7. F. Barthélemy, E. Villemonte de la Clergerie
    Pages 100-114
  8. Maarten Pennings, Doaitse Swierstra, Harald Vogt
    Pages 130-144
  9. Mads Rosendahl
    Pages 145-157
  10. Sadegh Saidi, Jean-Francois Boulicaut
    Pages 158-171
  11. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
    Pages 172-186
  12. Andreas Krall, Thomas Berger
    Pages 245-259
  13. Kristof Verschaetse, Danny De Schreye
    Pages 296-310
  14. Vincent Englebert, Baudouin Le Charlier, Didier Roland, Pascal Van Hentenryck
    Pages 311-325
  15. Werner Hans, Rita Loogen, Stephan Winkler
    Pages 355-369
  16. Mariam Kamkar, Nahid Shahmehri, Peter Fritzson
    Pages 370-384
  17. Henrik Nilsson, Peter Fritzson
    Pages 385-399
  18. Mireille Ducassé
    Pages 400-414
  19. Jan A. Plaza
    Pages 415-427
  20. Gary Lindstrom, Jan Małuszyński, Takeshi Ogi
    Pages 428-442
  21. Maria Alpuente, Moreno Falaschi, Ferdinando Manzo
    Pages 443-457
  22. Lutz H. Hamel
    Pages 473-474
  23. Dave Cattrall, Colin Runciman
    Pages 475-476
  24. Chu Min Li, Paul Y. Gloess
    Pages 487-488
  25. Peter Barth
    Pages 491-492
  26. Back Matter

Other volumes

  1. Programming Language Implementation and Logic Programming
    4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings
  2. Third International Conference Volterra, Italy, September 2–4, 1992 Proceedings

About these proceedings


This volume contains the papers accepted for presentation at the Fourth International Symposium on Programming Language Implementation and Logic Programming (PLILP '92) held in Leuven, Belgium, August 26-28, 1992. Theaim of the symposium was to explore new declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages, whether algorithmic or declarative. The symposium gathered researchers from the fields of algorithmic programming languages as well as logic, functional, and object-oriented programming. The topics discussed in the volume include: - Declarative implementation techniques; - Implementation of declarative concepts and modules; - Compiler specification and construction; - Program transformation; - Programming environments for declarative languages; - Amalgamation of logic programming with algorithmic, functional, or object-oriented techniques; - Executable specification.


algorithm algorithms compiler logic object-oriented programming programming programming language

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55844-6
  • Online ISBN 978-3-540-47297-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment