882 search results - page 47 / 177 » A Taste of Rewrite Systems |
78
Voted
ENTCS
2008
15 years 18 days ago
2008
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion...
108
Voted
EDBT
2002
ACM
16 years 20 days ago
2002
ACM
The problem of finding contained rewritings of queries using views is of great importance in mediated data integration systems. In this paper, we first present a general approach f...
107
Voted
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
100
click to vote
PADL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
103
Voted
ICEIS
2003
IEEE
15 years 5 months ago
2003
IEEE
: We propose in this article an object-oriented approach to rewriting queries using views. Our approach aims to mitigate certain limitations of existing query rewriting approaches....