Automatic Generation and Management of Interprocedural Program Analyses.

Kwangkeun Yi, Williams Ludwell Harrison III

Browse the full POPL paper archive.