A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls.

Paritosh K. Pandya Mathai Joseph

Published in: Comput. J. (1986)

Keyphrases

structural properties
databases
data mining
iterative refinement
database
real time
information retrieval
graphical models
structural information
graph structure
theorem proving
recursive algorithm
bayes net