An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.
Zvonimir RakamaricJesse D. BinghamAlan J. HuPublished in: VMCAI (2007)
Keyphrases
- data structure
- data sets
- original data
- data processing
- database
- knowledge discovery
- data driven
- sensor data
- synthetic data
- statistical analysis
- high quality
- prior knowledge
- data collection
- training data
- decision making
- spatial data
- experimental data
- multidimensional data
- image data
- decision makers
- data model
- computer systems
- attribute values
- machine learning