164 search results - page 1 / 33 » Formalization and abstract implementation of rewriting with ... |
PPDP
2004
Springer
13 years 10 months ago
2004
Springer
MODELS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
ICFP
2003
ACM
14 years 5 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...
GG
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...
LISP
2006
13 years 5 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 ...