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