113 search results - page 10 / 23 » Reduction Strategies for Left-Linear Term Rewriting Systems |
150
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
153
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
A major challenge faced by a spoken term detection (STD) system is the detection of out-of-vocabulary (OOV) terms. Although a subword-based STD system is able to detect OOV terms,...
185
click to vote
ESSLLI
2009
Springer
15 years 3 months ago
2009
Springer
The polynomial path order (POP for short) is a termination method that induces polynomial bounds on the innermost runtime complexity of term rewrite systems (TRSs for short). Seman...
150
click to vote
ICS
2001
Tsinghua U.
15 years 10 months ago
2001
Tsinghua U.
At Rice University, we have undertaken a project to construct a framework for generating high-level problem solving languages that can achieve high performance on a variety of pla...
201
click to vote
ENTCS
2007
15 years 5 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...