Login / Signup
Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language.
Luc Bougé
David Cachera
Yann Le Guyadec
Gil Utard
Bernard Virot
Published in:
Theor. Comput. Sci. (1997)
Keyphrases
</>
data analysis
data sets
database
data collection
image data
high quality
raw data
prior knowledge
original data
statistical analysis
computer systems
turing machine
data mining techniques
data points
data sources
high dimensional
natural language
data structure
training data
database systems