Adding the leads-to operator to Dijkstra's calculus.

Awadhesh Kumar Singh Anup Kumar Bandyopadhyay

Published in: ACM SIGPLAN Notices (2004)

Keyphrases

databases
image processing
expert systems
algebraic structure
data sets
computer vision
data model
knowledge representation
automated deduction
provably correct