Sciweavers

Share
PLILP
1992
Springer

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

12 years 21 hour 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)
books