Program Specification and Data Refinement in Type Theory.

Published in: TAPSOFT, Vol.1 (1991)

Keyphrases

data sets
data sources
data processing
database
complex data
synthetic data
data analysis
training data

data structure
raw data
image data
theoretical framework
statistical analysis
small number
data points
original data

high quality
computer programs
experimental data
sensor data
data objects
historical data
data integration
data collection

input data
data mining techniques
xml documents
bayesian networks
website
information systems
machine learning