Automatic Termination Analysis.

Kristof Verschaetse Stefaan Decorte Danny De Schreye

Published in: LOPSTR (1992)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
database
object oriented