73 search results - page 1 / 15 » Stratego: A Language for Program Transformation Based on Rew... |
143
Voted
DSL
2009
15 years 2 months ago
2009
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...
145
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
136
Voted
PPDP
2001
Springer
15 years 9 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
130
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...