A generic approach to the static analysis of concurrent programs with procedures.

Ahmed Bouajjani, Javier Esparza, Tayssir Touili

Browse the full POPL paper archive.