A self-applicable partial evaluator and its use in incremental compilation (Q1108782)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A self-applicable partial evaluator and its use in incremental compilation |
scientific article |
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