5482 search results - page 266 / 1097 » Logic Programming and Databases |
175
click to vote
DEBU
2007
15 years 6 months ago
2007
Provenance is information that aids understanding and troubleshooting database queries by explaining the results in terms of the input. Slicing is a program analysis technique for...
277
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
188
click to vote
BDA
1993
15 years 8 months ago
1993
We show how structured data stored in files can benefit from standard database technology and in particular be queried and updated using database languages. We introduce the notio...
193
click to vote
LFCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
165
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...