Proving Loop Programs.

Sanat K. Basu Jayadev Misra

Published in: IEEE Trans. Software Eng. (1975)

Keyphrases

free software
databases
bayesian networks
computer programs
loop formulas
real time
data mining
search engine
website
three dimensional
similarity measure
data structure
logic programming
fixpoint