Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP ¿92, Leuven, Belgium, August 26¿28, 1992 Proceedings

Martin Wirsing

ISBN 10: 3540558446 / ISBN 13: 9783540558446

Verlag: Springer Berlin Heidelberg, 1992

Beschreibung

Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers accepted for presentation atthe Fourth International Symposium on Programming LanguageImplementation and Logic Programming (PLILP '92) held inLeuven, Belgium, August 26-28, 1992.Theaim of the symposium was to explore new declarativeconcepts, methods and techniques relevant for implementationof all kinds of programming languages, whether algorithmicor declarative. The symposium gathered researchers fromthe fields of algorithmic programming languages as well aslogic, 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. Bestandsnummer des Verkäufers 9783540558446

Bibliografische Details

Titel: Programming Language Implementation and ...

Verlag: Springer Berlin Heidelberg

Erscheinungsdatum: 1992

Einband: Taschenbuch

Zustand: Neu

Über diesen Titel

Inhaltsangabe:

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.