1000 search results - page 76 / 200 » Nominal rewriting systems |
ENTCS
2007
13 years 7 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...
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
In previous papers [SC05, SBC+07], some of us predicted the end of "one size fits all" as a commercial relational DBMS paradigm. These papers presented reasons and exper...
LATIN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We introduce here a rewrite system in the group of unimodular matrices, i.e., matrices with integer entries and with determinant
IEICET
2007
13 years 7 months ago
2007
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
CADE
2012
Springer
11 years 10 months ago
2012
Springer
We introduce a technique to prove non-termination of term rewrite systems automatically. Our technique improves over previous approaches substantially, as it can also detect non-lo...