4th International Symposium on Programming Language Implementation and Logic Programming
Leuven, Belgium, 26/08/1992–28/08/1992
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.
topics of interest
- 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
works as
origin event for publication
series event
Metastructures vs. Attributed Variables in the Context of Extensible Unification (paper in proceedings, 1992) — Christian Holzbaur