A Type-based Framework for Program Analysis.

Chris Hankin Daniel Le Métayer

Published in: SAS (1994)

Keyphrases

main contribution
information systems
computer vision
software engineering
lightweight
theoretical foundation
search engine
high level
bayesian networks
search algorithm
multiresolution
multi class
programming language
medical images
theoretical framework
multiple features