234 search results - page 15 / 47 » Deduction, Strategies, and Rewriting |
FLOPS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
POPL
1997
ACM
13 years 11 months ago
1997
ACM
The following theorem of Huet and L
VLDB
2004
ACM
14 years 28 days ago
2004
ACM
Relational OLAP tools and other database applications generate sequences of SQL statements that are sent to the database server as result of a single information request issued by...
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We present a tool, called CAsCaDE, to check assertions in C programs as part of a multi-stage verification strategy. CAsCaDE takes as input a C program and a control file (the outp...
JAPLL
2010
13 years 6 months ago
2010
Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in fields as diverse as information integration and ...