Login / Signup
Decoupling the Ascending and Descending Phases in Abstract Interpretation.
Vincenzo Arceri
Isabella Mastroeni
Enea Zaffanella
Published in:
APLAS (2022)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
model checking
active databases
reasoning engine
dynamic analysis
data structure
reverse engineering