Sign in
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.
Patrick Cousot
Radhia Cousot
Published in:
PLILP (1992)
Keyphrases
</>
abstract interpretation
data warehousing