Extended Attribute Grammars

DOI10.1093/COMJNL/26.2.142MaRDI QIDQ3657448zbMATH OpenOpenAlexFDO

Authors David Anthony Watt, Ole Lehrmann Madsen

Publication date 1983

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/26.2.142

zbMATH Keywords

extended attribute grammarsextended attributed translation grammarssemanticssyntax of programming languages

Mathematics Subject Classification ID

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

Cited in

(4)

• An on-the-fly grammar modification mechanism for composing and defining extensible languages
• Evolution of rule-based programs
• Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
• Defining, analysing and implementing communication protocols using attribute grammars

This page was built for publication: Extended Attribute Grammars

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3657448)