Sign in
Executable Analysis using Abstract Interpretation with Circular Linear Progressions.
Rathijit Sen
Y. N. Srikant
Published in:
MEMOCODE (2007)
Keyphrases
</>
abstract interpretation
static analysis
termination analysis
data analysis