Calculating properties of programs by valuations on specific models.

Michel Sintzoff

Published in: Proving Assertions About Programs (1972)

Keyphrases

statistical models
probabilistic model
d objects
machine learning
learning algorithm
high level
expert systems
relational databases
special case
complex systems
process model
metamodel