Termination Analysis with Calling Context Graphs.

Panagiotis Manolios Daron Vroon

Published in: CAV (2006)

Keyphrases

termination analysis
active rules
active databases
database systems
management system