Modular reasoning about invariants over shared state with interposed data members: (abstract only).
Stephanie BalzerThomas R. GrossPublished in: ACM SIGPLAN Notices (2009)
Keyphrases
- data sets
- application domains
- data sources
- data distribution
- data structure
- spatial data
- knowledge discovery
- data analysis
- database
- noisy data
- decision trees
- small number
- data collection
- complex data
- data quality
- original data
- historical data
- synthetic data
- computer systems
- input data
- prior knowledge
- training data
- metadata
- social networks