Login / Signup

Responsibility Analysis by Abstract Interpretation.

Chaoqiang DengPatrick Cousot
Published in: SAS (2019)
Keyphrases
  • abstract interpretation
  • termination analysis
  • relational databases
  • case study
  • data analysis
  • static analysis
  • active rules