Data Structure Shape Inference and Verification for OO Programs.
Rhys OwenHugh AndersonPublished in: TASE (2009)
Keyphrases
- data structure
- object oriented
- shape model
- shape descriptors
- symbolic execution
- shape features
- efficient data structures
- shape analysis
- programming language
- conceptual modeling
- bayesian inference
- hardware designs
- databases
- probabilistic inference
- object oriented programs
- index structure
- verification method
- suffix tree
- level set
- database schema
- quadtree
- prior information
- logic programming
- model checking
- data types
- tree structure