Fusing Logic and Control with Local Transformations

DOI10.1016/S1571-0661(04)00271-3zbMath1268.68098OpenAlexW1517920068WikidataQ59780459 ScholiaQ59780459MaRDI QIDQ2841226

Patricia Johann, Eelco Visser

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00271-3

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Typed generic traversal with term rewriting strategies ⋮ A survey of strategies in rule-based program transformation systems ⋮ A Survey of Rewriting Strategies in Program Transformation Systems

Uses Software

• Stratego
• GHC

Cites Work

• Unnamed Item
• Unnamed Item
• Deforestation: Transforming programs to eliminate trees
• Warm fusion in Stratego: A case study in generation of program transformation systems
• A transformation-based optimiser for Haskell
• Building program optimizers with rewriting strategies

This page was built for publication: Fusing Logic and Control with Local Transformations