Semantic equivalence of covering attribute grammars

DOI10.1007/BF00995501zbMath0426.68077OpenAlexW1963724919MaRDI QIDQ3862455

Gregor von Bochmann

Publication date: 1979

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00995501

zbMATH Keywords

attribute grammarssemantic equivalencesyntactic equivalencegrammars specifying mixed-type arithmetic expressionstranslation of while loops

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Unnamed Item

Cites Work

• Correctness proofs of syntax-directed processing descriptions by attributes
• Semantic evaluation from left to right
• Semantics of context-free languages
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantic equivalence of covering attribute grammars