150 search results - page 4 / 30 » Understanding Promise Theory Using Rewriting Logic |
101
Voted
AAAI
2006
15 years 2 months ago
2006
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...
81
Voted
ENTCS
2008
15 years 1 months 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...
123
Voted
JUCS
2006
15 years 1 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
100
Voted
DAC
2006
ACM
16 years 2 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
119
Voted
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...