Systematic Design of Program Analysis Frameworks.

Patrick Cousot Radhia Cousot

Published in: POPL (1979)

Keyphrases

real time
data mining
design process
case study
optimal solution
databases
machine learning
social networks
multiscale
video sequences
conceptual model
conceptual framework
engineering design