A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures.

Neil D. Jones, Steven S. Muchnick

Browse the full POPL paper archive.