Programming Language Implementation and Logic Programming

Martin Wirsing

ISBN 10: 3540558446 / ISBN 13: 9783540558446

Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1992, 1992

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the papers accepted for presentation atthe 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 508 pp. Englisch.

Seller Inventory # 9783540558446

Bibliographic Details

• Title: Programming Language Implementation and Logic Programming
• Publisher: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1992
• Publication Date: 1992
• Language: English
• ISBN 10: 3540558446
• ISBN 13: 9783540558446
• Binding: Taschenbuch
• Condition: Neu

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.