Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation.

Michael Leuschel Salvador Tamarit Germán Vidal

Published in: WFLP (2009)

Keyphrases

partial evaluation
termination analysis
explanation based generalization
active rules
active databases
abstract interpretation
machine learning
database
databases
learning algorithm
support vector
object oriented
general purpose
knowledge acquisition