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

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
IT & Software