Attribute Grammars and Mathematical Semantics

DOI10.1137/0210037zbMath0462.68062OpenAlexW1977434346MaRDI QIDQ3912056

Brian H. Mayoh

Publication date: 1981

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0210037

zbMATH Keywords

programming languagecompiler properties

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Systematic debugging method for attribute grammar description ⋮ Pushdown machines for the macro tree transducer ⋮ Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming ⋮ Can we transform logic programs into attribute grammars ? ⋮ Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition ⋮ The formal power of one-visit attribute grammars ⋮ Attribute grammars and recursive program schemes. I. II ⋮ Unnamed Item ⋮ Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers ⋮ k-visit attribute grammars