74 search results - page 1 / 15 » Program Transformation with Scoped Dynamic Rewrite Rules |
64
Voted
FUIN
2006
14 years 10 months ago
2006
100
Voted
ICFP
2003
ACM
15 years 10 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...
167
Voted
LISP
2006
14 years 10 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 ...
80
Voted
ENTCS
2008
14 years 10 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...
86
Voted
DSL
2009
14 years 8 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...