Sign in
An abstract interpretation framework for termination.
Patrick Cousot
Radhia Cousot
Published in:
POPL (2012)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
software architecture
active databases
databases