On the Termination of Positive Supercompilation.

Geoff W. Hamilton

Published in: VPT@CAV (2013)

Keyphrases

positive and negative
real time
active rules
database
computer vision
search algorithm
positively correlated