Rely-guarantee references for refinement types over aliased mutable data.
Colin S. GordonMichael D. ErnstDan GrossmanPublished in: PLDI (2013)
Keyphrases
- data sets
- data collection
- data processing
- image data
- data sources
- raw data
- database
- synthetic data
- data analysis
- input data
- missing values
- statistical analysis
- missing data
- big data
- data structure
- data quality
- original data
- application domains
- computer systems
- neural network
- data mining
- data points
- end users
- training data