Proving the correctness of implementations of shared data abstractions.
László KozmaPublished in: Symposium on Programming (1982)
Keyphrases
- data sets
- historical data
- knowledge discovery
- data analysis
- data collection
- data points
- database
- raw data
- data processing
- end users
- high quality
- data distribution
- data sources
- experimental data
- information retrieval
- complex data
- noisy data
- data objects
- statistical methods
- multimedia data
- application domains
- statistical analysis
- data mining
- query processing
- input data
- small number
- databases
- wireless sensor networks