325 search results - page 9 / 65 » Rewriting Strategies in Java |
ENTCS
2002
14 years 11 months ago
2002
163
click to vote
ICLP
2009
Springer
16 years 8 days ago
2009
Springer
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implem...
ENTCS
2002
14 years 11 months ago
2002
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...
90
Voted
FLOPS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
115
Voted
POPL
1997
ACM
15 years 3 months ago
1997
ACM
The following theorem of Huet and L