Deriving a compiler from an operational semantics written in VDL (Q5186724)
From MaRDI portal
scientific article; zbMATH DE number 3894461
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deriving a compiler from an operational semantics written in VDL |
scientific article; zbMATH DE number 3894461 |
Statements
Deriving a compiler from an operational semantics written in VDL (English)
0 references
1985
0 references
compiler generation
0 references
compiler correctness
0 references
operational semantics
0 references
mixed computation
0 references
Vienna Definition Language
0 references
VDL
0 references
