193 search results - page 22 / 39 » Decidable logics combining heap structures and data |
227
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
112
Voted
BDA
2004
15 years 4 months ago
2004
We present the path sequence storage model, a new logical model for storing XML documents. This model partitions XML data and content according to the document paths; and uses orde...
131
Voted
ICFCA
2004
Springer
15 years 8 months ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...
168
Voted
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
125
Voted
ISDA
2010
IEEE
15 years 19 days ago
2010
IEEE
A genetic algorithm is combined with two variants of the modularity (Q) network analysis metric to examine a substantial amount fisheries catch data. The data set produces one of t...