Program termination analysis in polynomial time.

Amir M. Ben-Amram Chin Soon Lee

Published in: ACM Trans. Program. Lang. Syst. (2007)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
mobile devices
fine grained
deductive databases