Sciweavers

325 search results - page 9 / 65
» Rewriting Strategies in Java
Sort
View
ENTCS
2002
98views more  ENTCS 2002»
14 years 9 months ago
Building Interpreters with Rewriting Strategies
Eelco Dolstra, Eelco Visser
143
Voted
ICLP
2009
Springer
15 years 10 months ago
Demand-Driven Normalisation for ACD Term Rewriting
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implem...
Leslie De Koninck, Gregory J. Duck, Peter J. Stuck...
ENTCS
2002
141views more  ENTCS 2002»
14 years 9 months ago
Graph Based Debugging with Fujaba
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...
Leif Geiger, Albert Zündorf
FLOPS
2004
Springer
15 years 1 months ago
Implementing Natural Rewriting and Narrowing Efficiently
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...
Santiago Escobar
POPL
1997
ACM
15 years 1 months ago
Call by Need Computations to Root-Stable Form
The following theorem of Huet and L
Aart Middeldorp