Inductive Methods for Reasoning about Abstract Data Types.

Stephen J. Garland John V. Guttag

Published in: POPL (1988)

Keyphrases

preprocessing
databases
multi dimensional
incomplete information
database
real world
image sequences
object oriented databases