Invariant Synthesis for Programs Manipulating Lists with Unbounded Data.
Ahmed BouajjaniCezara DragoiConstantin EneaAhmed RezineMihaela SighireanuPublished in: CAV (2010)
Keyphrases
- data sets
- knowledge discovery
- data analysis
- database
- raw data
- high quality
- xml documents
- data sources
- historical data
- experimental data
- missing data
- data processing
- image data
- information systems
- data points
- training data
- input data
- decision trees
- data collection
- statistical analysis
- synthetic data
- metadata
- data distribution
- neural network
- original data
- complex data
- real time