Sign in
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