1776 search results - page 122 / 356 » Using a Logic Programming Language with Persistence and Cont... |
123
click to vote
JAR
2010
15 years 1 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
145
click to vote
WWW
2006
ACM
16 years 3 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
129
click to vote
DEXA
2004
Springer
15 years 8 months ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
142
click to vote
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
116
click to vote
VL
1996
IEEE
15 years 7 months ago
1996
IEEE
Despite years of research into human computer interaction (HCI), the environments programmers must use for problem-solving today--with separate modes and tools for writing, compil...