The loop absorption and the generalization strategies for the development of logic programs and partial deduction (Q5286919)
From MaRDI portal
scientific article; zbMATH DE number 227532
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The loop absorption and the generalization strategies for the development of logic programs and partial deduction |
scientific article; zbMATH DE number 227532 |
Statements
The loop absorption and the generalization strategies for the development of logic programs and partial deduction (English)
0 references
1993
0 references
program transformation
0 references
