Using invariant relations in the termination analysis of while loops.

Wided Ghardallou

Published in: ICSE (2012)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
management system
integrity constraints