Zipper-Based Attribute Grammars and Their Extensions

DOI10.1007/978-3-642-40922-6_10zbMath1405.68161OpenAlexW2140270417MaRDI QIDQ5410473

No author found.

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

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

Related Items (2)

Zipping strategies and attribute grammars ⋮ Declarative rewriting through circular nonterminal attributes

Uses Software

• JastAdd

This page was built for publication: Zipper-Based Attribute Grammars and Their Extensions