Semantic specification using two-level grammars: Blocks, procedures and parameters (Q3206341)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semantic specification using two-level grammars: Blocks, procedures and parameters |
scientific article |
Statements
Semantic specification using two-level grammars: Blocks, procedures and parameters (English)
0 references
1979
0 references
Algol-like language fragment
0 references
formal semantics
0 references
semantic specification
0 references
formal grammars
0 references
two-level grammars
0 references
parameterpassing mechanisms
0 references