1664 search results - page 98 / 333 » Towards Partial Reasoning |
100
Voted
PVLDB
2008
15 years 7 days ago
2008
This paper describes a unification of two different SQL extensions for streams and its associated semantics. We use the data models from Oracle and StreamBase as our examples. Ora...
JUCS
2010
14 years 11 months ago
2010
: Mobile banking has been considered to be one of the most value-added and important mobile services currently available. Considering the fact that the penetration of this technolo...
103
click to vote
PPDP
2010
Springer
14 years 10 months ago
2010
Springer
Most Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes th...
100
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
101
click to vote
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...