210 search results - page 20 / 42 » Hob: A Tool for Verifying Data Structure Consistency |
JAR
2006
13 years 7 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
ICDCS
2012
IEEE
11 years 10 months ago
2012
IEEE
Operational network data, management data such as customer care call logs and equipment system logs, is a very important source of information for network operators to detect prob...
TVCG
1998
13 years 7 months ago
1998
—Recently, multiresolution visualization methods have become an indispensable ingredient of real-time interactive postprocessing. The enormous databases, typically coming along w...
CAISE
1995
Springer
13 years 11 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...