Semantic specification using two-level grammars: Blocks, procedures and parameters

DOI10.1016/0096-0551(79)90018-3zbMath0416.68074OpenAlexW1967406127MaRDI QIDQ3206341

Frank G. Pagan

Publication date: 1979

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(79)90018-3

zbMATH Keywords

formal semanticsformal grammarstwo-level grammarssemantic specificationAlgol-like language fragmentparameterpassing mechanisms

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Related Items (1)

Semantics of algorithmic languages

This page was built for publication: Semantic specification using two-level grammars: Blocks, procedures and parameters