Static Inference of Properties of Applicative Programs.

Prateek Mishra Robert M. Keller

Published in: POPL (1984)

Keyphrases

imperative programs
data sets
search engine
website
desirable properties
statistical dependencies
machine learning
information retrieval
learning algorithm
information systems
decision trees
belief networks
probabilistic reasoning
bayesian model
dynamic analysis