653 search results - page 37 / 131 » Implications of a Data Structure Consistency Checking System |
DBPL
1999
Springer
15 years 4 months ago
1999
Springer
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
128
click to vote
ISSTA
1998
ACM
15 years 4 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...
123
click to vote
SIGSOFT
2007
ACM
16 years 15 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
ER
2007
Springer
15 years 6 months ago
2007
Springer
Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve ...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...