Termination Analysis of C Programs Using Compiler Intermediate Languages.

Stephan Falke Deepak Kapur Carsten Sinz

Published in: RTA (2011)

Keyphrases

termination analysis
abstract interpretation
java bytecode
programs written
active rules
active databases
programming language
high level programming languages
java virtual machine
databases
general purpose
software systems
integrity constraints
static analysis
control flow
database technology
relational databases