A Haskell Hosted DSL for Writing Transformation Systems

KURE is a Haskell hosted Domain Specific Language (DSL) for writing transformation systems based on rewrite strategies. When writing transformation systems, a significant amount of engineering effort goes into setting up plumbing to make sure that specific rewrite rules can fire. Systems like Stratego and Strafunski provide most of this plumbing as infrastructure, allowing the DSL user to focus on the rewrite rules. KURE is a strongly typed strategy control language in the tradition of Stratego and Strafunski. It is intended for writing reasonably efficient rewrite systems, makes use of type families to provide a delimited generic mechanism for tree rewriting, and provides support for efficient identity rewrite detection.

• Type: Journal
• Year: 2009
• Where: DSL
• Authors: Andy Gill
• Keywords: Domain Specific Language, DSL 2009, Efficient Rewrite Systems, Programming Languages, Transformation Systems