A self-applicable partial evaluator and its use in incremental compilation (Q1108782)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A self-applicable partial evaluator and its use in incremental compilation |
scientific article; zbMATH DE number 4068254
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A self-applicable partial evaluator and its use in incremental compilation |
scientific article; zbMATH DE number 4068254 |
Statements
A self-applicable partial evaluator and its use in incremental compilation (English)
0 references
1988
0 references
This paper presents an experimental implementation of a self-applicable partial evaluator in Prolog used for compiler generation and compiler generator generation. The partial evaluator is an extension of a simple meta interpreter for Prolog programs, and its self-application is straightforward because of its simplicity. A method of incremental compilation is also described as a promising application of the partial evaluator for knowledge-based systems.
0 references
partial evaluation
0 references
meta programming
0 references
Prolog
0 references
compiler generation
0 references
compiler generator generation
0 references
self-application
0 references
incremental compilation
0 references
knowledge-based systems
0 references
