A characterization of attribute evaluation in passes

DOI10.1007/BF00264495zbMath0454.68088OpenAlexW2075404857MaRDI QIDQ1149787

Henk Alblas

Publication date: 1981

Published in: Acta Informatica (Search for Journal in Brave)

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

zbMATH Keywords

attribute grammarderivation tree of a programevaluation of semantic attributesmulti- pass

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)

Related Items

Composition and evaluation of attribute coupled grammars ⋮ Optimal incremental simple multi-pass attribute evaluation ⋮ Mathematical Modeling and Simulation of Thermal Effects in Flexural Microcantilever Resonator Dynamics ⋮ Simple multi-visit attribute grammars