Logical and Computational Invariants of Programs.

Published in: ELP (1991)

Keyphrases

imperative programs
case study
dynamic logic
moment invariants
image processing
database
computer programs
pattern recognition
logical properties
automatic programming
programming environment
affine invariant
object oriented
information retrieval
machine learning
data mining
neural network
databases
real time