Shop the Archives and get your next eBook for just 14.99! Stock up today >>

Lecture Notes in Computer Science

Programming Language Implementation and Logic Programming

4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings

Editors: Bruynooghe, Maurice, Wirsing, Martin (Eds.)

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-47297-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-55844-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (41 chapters)

  • Improving control of logic programs by using functional logic languages

    Hanus, Michael

    Pages 1-23

  • Independent AND-parallel implementation of narrowing

    Kuchen, Herbert (et al.)

    Pages 24-38

  • Binding techniques and garbage collection for OR-parallel CLP systems

    Dorochevsky, Michel (et al.)

    Pages 39-53

  • Path analysis for lazy data structures

    Gomard, Carsten K. (et al.)

    Pages 54-68

  • Why the occur-check is not a problem

    Apt, Krzysztof R. (et al.)

    Pages 69-86

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-3-540-47297-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-55844-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Programming Language Implementation and Logic Programming
Book Subtitle
4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings
Editors
  • Maurice Bruynooghe
  • Martin Wirsing
Series Title
Lecture Notes in Computer Science
Series Volume
631
Copyright
1992
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47297-1
DOI
10.1007/3-540-55844-6
Softcover ISBN
978-3-540-55844-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 494
Number of Illustrations and Tables
27 b/w illustrations
Topics