Abstract Domains for Universal and Existential Properties.

Andrew Heaton Patricia M. Hill Andy King

Published in: ESOP (2000)

Keyphrases

high level
real time
application domains
neural network
knowledge base
image processing
database systems
structural properties