Login / Signup
Decoupling the ascending and descending phases in Abstract Interpretation.
Vincenzo Arceri
Isabella Mastroeni
Enea Zaffanella
Published in:
CoRR (2022)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
model checking
active rules
active databases
dynamic analysis
reasoning engine
databases
high level
programming language
fine grained