Multiple Attributgrammatiken. (Multiple attribute grammars)

zbMath0595.68075MaRDI QIDQ1077940

Johannes Roehrich

Publication date: 1986

Published in: Informatik. Forschung und Entwicklung (Search for Journal in Brave)

zbMATH Keywords

software specificationattributed graphsattributed treescyclic attribute dependencies

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Multiple Attributgrammatiken. (Multiple attribute grammars)