Termination Analysis of Imperative Programs Using Bitvector Arithmetic.

Stephan Falke Deepak Kapur Carsten Sinz

Published in: VSTTE (2012)

Keyphrases

termination analysis
imperative programs
active rules
active databases
abstract interpretation
dynamic logic
integrity constraints
business rules
database
databases