Analysis of recursively parallel programs.

Ahmed Bouajjani, Michael Emmi

Browse the full POPL paper archive.