5482 search results - page 61 / 1097 » Logic Programming and Databases |
111
click to vote
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
CL
2000
Springer
15 years 2 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
WWW
2002
ACM
15 years 10 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
SCAM
2006
IEEE
15 years 3 months ago
2006
IEEE
EPS
1995
Springer
15 years 1 months ago
1995
Springer