74 search results - page 1 / 15 » Program Transformation with Scoped Dynamic Rewrite Rules |
FUIN
2006
13 years 4 months ago
2006
ICFP
2003
ACM
14 years 4 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
LISP
2006
13 years 4 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
ENTCS
2008
13 years 5 months ago
2008
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...
DSL
2009
13 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...