An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I.

Moshe Deutsch Martin C. Henson Steve Reeves

Published in: Log. J. IGPL (2003)

Keyphrases

data analysis
statistical analysis
formal semantics
probabilistic model
empirical data
real time
data sets
databases
neural network
genetic algorithm
decision trees
database systems
experimental data
statistical models
model validation