Sciweavers

68
Voted
POPL
1997
ACM

Types as Abstract Interpretations

15 years 1 months ago
Types as Abstract Interpretations
Patrick Cousot
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where POPL
Authors Patrick Cousot
Comments (0)