An Improved Differential Fixpoint Iteration Method for Program Analysis.

Hyunjun Eo Kwangkeun Yi

Published in: APLAS (2002)

Keyphrases

probabilistic model
general purpose
data mining
prior knowledge
domain knowledge
finite state machines