A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join.

Ravi Mangal, Mayur Naik, Hongseok Yang

Browse the full ESOP paper archive.