Sciweavers

PLILP
1992
Springer

Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation

13 years 7 months ago
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation
Patrick Cousot, Radhia Cousot
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where PLILP
Authors Patrick Cousot, Radhia Cousot
Comments (0)