Modular set-based analysis from contracts.

Philippe Meunier Robert Bruce Findler Matthias Felleisen

Published in: POPL (2006)

Keyphrases

computer vision
real world
information systems
initial set
database
machine learning
social networks
image processing
three dimensional
hierarchical structure