Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP â 92, Leuven, Belgium, August 26â 28, 1992 Proceedings (Lecture Notes in Computer Science, 631)

ISBN 10: 3540558446 / ISBN 13: 9783540558446

Published by Springer, 1992

About this Item

A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.

Seller Inventory # OTV.3540558446.G

Bibliographic Details

• Title: Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP â 92, Leuven, Belgium, August 26â 28, 1992 Proceedings (Lecture Notes in Computer Science, 631)
• Publisher: Springer
• Publication Date: 1992
• Language: English
• ISBN 10: 3540558446
• ISBN 13: 9783540558446
• Binding: Soft cover
• Condition: good

About this title

Synopsis

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.