A Sound and Complete Proof System for Partial Program Correctness.

J. W. de Bakker

Published in: MFCS (1979)

Keyphrases

machine learning
program execution
real time
data mining
artificial intelligence
social networks
clustering algorithm
high level
hidden markov models
computer programs
program code