Comparing Completeness Properties of Static Analyses and Their Logics.

David A. Schmidt

Published in: APLAS (2006)

Keyphrases

expressive power
structural properties
real world
databases
image segmentation
desirable properties