Sign in

The Systematic Design of Responsibility Analysis by Abstract Interpretation.

Chaoqiang DengPatrick Cousot
Published in: ACM Trans. Program. Lang. Syst. (2022)
Keyphrases
  • abstract interpretation
  • static analysis
  • case study
  • knowledge based systems
  • knowledge base
  • data analysis
  • logic programs
  • model checking
  • data warehousing