Programming with Equations (Q3939197)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Programming with Equations |
scientific article |
Statements
Programming with Equations (English)
0 references
1982
0 references
equational programs
0 references
automatically transform a set of equations into an efficient program
0 references
nonprocedural languages
0 references
interpreters
0 references
term-rewriting systems
0 references
