Zipping strategies and attribute grammars

DOI10.1007/978-3-030-99461-7_7OpenAlexW3205419191MaRDI QIDQ2163164

José Nuno Macedo, João Saraiva, Marcos Viera

Publication date: 10 August 2022

Full work available at URL: https://arxiv.org/abs/2110.07902

zbMATH Keywords

attribute grammarsstrategic term rewritingzippers

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Uses Software

• Stratego
• JastAdd
• Haskell
• Tom
• ASF+SDF
• TXL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stratego
• TXL
• A lean specification for gadts: System F with first-class equality proofs
• The JastAdd system - modular extensible compiler construction
• Silver: an extensible attribute grammar system
• The Zipper
• Advanced Functional Programming
• Zipper-Based Attribute Grammars and Their Extensions
• Semantics of context-free languages

This page was built for publication: Zipping strategies and attribute grammars