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 the normal view instead:
scientific article; zbMATH DE number 4068254
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8196974396705627
0 references
0.8137192726135254
0 references
