Programming Language Implementation and Logic Programming [electronic resource] : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 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.

Bibliographic Details

Main Authors:	Bruynooghe, Maurice. editor., Wirsing, Martin. editor., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1992
Subjects:	Computer science., Computer programming., Programming languages (Electronic computers)., Computers., Computer logic., Mathematical logic., Artificial intelligence., Computer Science., Programming Techniques., Theory of Computation., Programming Languages, Compilers, Interpreters., Logics and Meanings of Programs., Mathematical Logic and Formal Languages., Artificial Intelligence (incl. Robotics).,
Online Access:	http://dx.doi.org/10.1007/3-540-55844-6
Tags:	Add Tag No Tags, Be the first to tag this record!