The narrowing-driven approach to functional logic program specialization (Q5957056)
From MaRDI portal
scientific article; zbMATH DE number 1714073
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The narrowing-driven approach to functional logic program specialization |
scientific article; zbMATH DE number 1714073 |
Statements
The narrowing-driven approach to functional logic program specialization (English)
0 references
27 May 2002
0 references
partial evaluation
0 references
narrowing
0 references
program optimization
0 references
0 references
