Verifying Low-Level Implementations of High-Level Datatypes.
Christopher L. ConwayClark W. BarrettPublished in: CAV (2010)
Keyphrases
- low level
- data types
- high level
- higher level
- data structure
- data model
- low level features
- mid level
- database systems
- lower level
- database management systems
- middle level
- visual cues
- user defined
- visual information
- intermediate level
- high level vision
- efficient implementation
- database
- data mining algorithms
- visual features
- semantic gap
- model checking
- object level
- semantic concepts
- information systems
- data sets