Login / Signup

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework.

Se-Won KimXavier RivalSukyoung Ryu
Published in: ACM Trans. Program. Lang. Syst. (2018)
Keyphrases
  • theoretical foundation
  • theoretical framework
  • abstract interpretation
  • database systems
  • case study
  • software architecture