Login / Signup
Generic Combination of Heap and Value Analyses in Abstract Interpretation.
Pietro Ferrara
Published in:
VMCAI (2014)
Keyphrases
</>
model checking
abstract interpretation
data structure
relational databases
static analysis
termination analysis