Login / Signup
Deriving Specialized Program Analyses for Certifying Component-Client Conformance.
G. Ramalingam
Alex Varshavsky
John Field
Deepak Goyal
Shmuel Sagiv
Published in:
PLDI (2002)
Keyphrases
</>
decision trees
general purpose
client server
machine learning
comparative analysis
computer programs
information retrieval
learning algorithm
multimedia
data structure
relational databases
open source