The promotion and accumulation strategies in transformational programming (Q3330483)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The promotion and accumulation strategies in transformational programming |
scientific article |
Statements
The promotion and accumulation strategies in transformational programming (English)
0 references
1984
0 references
verification
0 references
algorithm refinement
0 references
applicative languages
0 references
accumulation
0 references
infix operators
0 references
transformations
0 references
