Login / Signup

Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation.

Patrick Cousot
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases
  • case study
  • static analysis
  • information systems
  • abstract interpretation
  • query language
  • fine grained
  • termination analysis