"Using Static Analysis to Detect Type Errors and Concurrency Defects in ..."

Konstantinos Sagonas (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics