Login / Signup

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

Patrick Cousot
Published in: CoRR (2023)
Keyphrases
  • databases
  • case study
  • static analysis
  • knowledge based systems
  • theorem proving
  • abstract interpretation