Sign in
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
Patrick Cousot
Radhia Cousot
Published in:
JTASPEFT/WSA (1991)
Keyphrases
</>
abstract interpretation
case study
termination analysis
open source
fine grained
matching algorithm