23201 search results - page 38 / 4641 » Rewriting Systems with Data |
101
Voted
AGTIVE
2003
Springer
15 years 6 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
74
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...
195
Voted
ICDE
2001
IEEE
16 years 2 months ago
2001
IEEE
56
Voted
ENTCS
2007
15 years 23 days ago
2007
132
click to vote
CC
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...