Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.
Ahmed BouajjaniCezara DragoiConstantin EneaMihaela SighireanuPublished in: VMCAI (2012)
Keyphrases
- application domains
- data sets
- database
- synthetic data
- data collection
- training data
- experimental data
- data points
- data mining techniques
- image data
- missing data
- databases
- original data
- data analysis
- raw data
- data acquisition
- data objects
- data quality
- historical data
- semi automated
- spatial data
- computer systems
- data processing
- small number
- knowledge discovery
- high quality
- database systems
- information retrieval
- neural network