The concept of a supercompiler (Q3732942)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The concept of a supercompiler |
scientific article |
Statements
The concept of a supercompiler (English)
0 references
1986
0 references
metasystem transition
0 references
driving
0 references
program transformer
0 references
redundancy
0 references
partial evaluation
0 references
control transfer
0 references
lazy evaluation
0 references
program transformation
0 references
equivalence rules
0 references
Refal
0 references
Prolog
0 references
