Towards a methodology for the design of abstract machines for logic programming languages (Q5286920)
From MaRDI portal
scientific article; zbMATH DE number 227533
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Towards a methodology for the design of abstract machines for logic programming languages |
scientific article; zbMATH DE number 227533 |
Statements
Towards a methodology for the design of abstract machines for logic programming languages (English)
0 references
1 December 1993
0 references
partial evaluation
0 references
abstract machine
0 references
