Zipper-based attribute grammars and their extensions

DOI10.1007/978-3-642-40922-6_10MaRDI QIDQ5410473zbMATH OpenOpenAlexFDO

Authors

Publication date 16 April 2014

Published in Programming Languages (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1822/36077

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Attribute grammars as recursion schemes over cyclic representations of zippers
• Constructing Programs as Executable Attribute Grammars
• scientific article; zbMATH DE number 512888
• Silver: an extensible attribute grammar system
• Circular attribute grammars with remote attribute references and their evaluators

Cited in

(6)

• An on-the-fly grammar modification mechanism for composing and defining extensible languages
• Declarative rewriting through circular nonterminal attributes
• Zipping strategies and attribute grammars
• Formalising and Verifying Reference Attribute Grammars in Coq
• scientific article; zbMATH DE number 512888 (Why is no real title available?)
• Attribute grammars as recursion schemes over cyclic representations of zippers

Describes a project that uses

Uses Software

• JastAdd

This page was built for publication: Zipper-based attribute grammars and their extensions

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