Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables.

William E. Weihl

Browse the full POPL paper archive.