Semantic properties of Lucid's compute clause and its compilation (Q1255778)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantic properties of Lucid's compute clause and its compilation |
scientific article |
Statements
Semantic properties of Lucid's compute clause and its compilation (English)
0 references
1980
0 references
Compilation Algorithms
0 references
Programming Language Lucid
0 references
Nested Clause Structures
0 references
Correctness Proof
0 references
