Semantic properties of Lucid's compute clause and its compilation (Q1255778)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Semantic properties of Lucid's compute clause and its compilation |
scientific article; zbMATH DE number 3624759
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantic properties of Lucid's compute clause and its compilation |
scientific article; zbMATH DE number 3624759 |
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