23201 search results - page 15 / 4641 » Rewriting Systems with Data |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
A partial monoid P is a set with a partial multiplication
WADT
2001
Springer
14 years 2 days ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
ICDE
2006
IEEE
14 years 9 months ago
2006
IEEE
Relational division, also known as small divide, is a derived operator of the relational algebra that realizes a many-to-one set containment test, where a set is represented as a ...
DAGSTUHL
1993
13 years 9 months ago
1993
In this paper we present a type system for graph rewrite systems: uniqueness typing. It employs usage information to deduce whether an object is `unique' at a certain moment,...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...