Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability.

Steven Alexander Spoon Olin Shivers

Published in: ECOOP (2004)

Keyphrases

demand driven
load balance
bayesian networks
search space
electronic commerce
probabilistic inference
high precision
load balancing
end to end
goal oriented
pruning algorithm
shortest path
data acquisition
precision and recall