KITP-93: An Automated Inference System for Program Analysis.

Tie-Cheng Wang Allen Goldberg

Published in: CADE (1994)

Keyphrases

semi automated
wide range
semi automatic
computer aided
learning algorithm
computer vision
information systems
decision making
multiscale
digital libraries
data analysis
management system
human operators
automated analysis