Loop Summarization and Termination Analysis.

Aliaksei Tsitovich Natasha Sharygina Christoph M. Wintersteiger Daniel Kroening

Published in: TACAS (2011)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
database
information systems
databases
knowledge base
multi dimensional
business intelligence
integrity constraints
description language
control flow