A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs.

Matthew Might, David Van Horn

Browse the full SAS paper archive.