A Systematic Approach to Abstract Interpretation of Program Transformations.

Sven Keidel Sebastian Erdweg

Published in: VMCAI (2020)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
termination analysis
source code
active rules
reasoning engine
software engineering
active databases