653 search results - page 1 / 131 » Implications of a Data Structure Consistency Checking System |
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
VMCAI
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
EDM
2009
13 years 2 months ago
2009
Abstract. Most of the emphasis on mining online assessment logs has been to identify contentspecific errors. However, the pattern of general "consistency" is domain indep...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
IJDE
2007
13 years 4 months ago
2007
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...