Silver: an extensible attribute grammar system

DOI10.1016/j.scico.2009.07.004zbMath1187.68285OpenAlexW2018009728MaRDI QIDQ2653933

Derek Bodin, Lijesh Krishnan, Jimin Gao, Eric Van Wyk

Publication date: 15 January 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11299/217315

zbMATH Keywords

attribute grammarsforwardingextensible compilersextensible languagessilver attribute grammar system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

Zipping strategies and attribute grammars ⋮ Formal attributes traceability in modular language development frameworks

Uses Software

• Stratego
• JastAdd
• NuSMV
• YACC

Cites Work

• Increasing modularity and language-independency in automatically generated compilers
• Modularity and reusability in attribute grammars
• The JastAdd system - modular extensible compiler construction
• Parsing expression grammars
• Remote attribute grammars
• Proving correctness of compiler optimizations by temporal logic
• Syntax macros and extended translation
• Semantics of context-free languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item