2138 search results - page 201 / 428 » Logical Step-Indexed Logical Relations |
176
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
Physical data independence is touted as a central feature of modern database systems. Both relational and object-oriented systems, however, force users to frame their queries in t...
161
click to vote
IJDAR
2006
15 years 6 months ago
2006
Structure analysis of table form documents is an important issue because a printed document and even an electronic document do not provide logical structural information but merely...
193
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
139
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
195
click to vote
SUM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...