5482 search results - page 380 / 1097 » Logic Programming and Databases |
219
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
151
click to vote
DBPL
1987
Springer
15 years 10 months ago
1987
Springer
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...
160
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
Health care is a complex and transnational task of societies. The various institutions and individuals involved are not and should not be governed by one central authority, but ha...
174
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
187
Voted
DBVIS
1995
15 years 10 months ago
1995
Abstract. This paper reports on user experience with Tioga, a DBMScentric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct m...