Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings. 1st ed. 1992
- 種類:
- 電子ブック
- 責任表示:
- edited by Maurice Bruynooghe, Martin Wirsing
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 631
- ISBN:
- 9783540472971 [3540472975]
- 注記:
- Improving control of logic programs by using functional logic languages -- Independent AND-parallel implementation of narrowing -- Binding techniques and garbage collection for OR-parallel CLP systems -- Path analysis for lazy data structures -- Why the occur-check is not a problem -- Incremental evaluation of natural semantics specifications -- Subsumption-oriented Push-Down Automata -- Unlimp uniqueness as a leitmotiv for implementation -- Using cached functions and constructors for incremental attribute evaluation -- Strictness analysis for attribute grammars -- Checking and debugging of two-level grammars -- On safe folding -- Unfold/fold transformations preserving termination properties -- A technique for transforming logic programs by fold-unfold transformations -- FOLON: An environment for declarative construction of logic programs -- A complete indexing scheme for WAM-based abstract machines -- Fast prolog with a VAM1p based Prolog compiler -- Metastructures vs. attributed variables in the context of
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. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |