23201 search results - page 91 / 4641 » Rewriting Systems with Data |
138
click to vote
ESWS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of on...
185
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...
135
click to vote
ENTCS
2007
15 years 5 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...
142
click to vote
ICEIS
2005
IEEE
15 years 11 months ago
2005
IEEE
The World Wide Web contains a huge and increasing volume of information. The web warehouse is an efficient and effective means to facilitate utilization of information on the Web,...
110
click to vote
LATIN
2004
Springer
15 years 10 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