Qualified Computations in Functional Logic Programming (Q5325770)
From MaRDI portal
scientific article; zbMATH DE number 5586282
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Qualified Computations in Functional Logic Programming |
scientific article; zbMATH DE number 5586282 |
Statements
Qualified Computations in Functional Logic Programming (English)
0 references
24 July 2009
0 references
constraints
0 references
functional logic programming
0 references
program transformation
0 references
qualification
0 references
rewriting logic
0 references
