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

Neil D. Jones, Steven S. Muchnick. A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures. In POPL. pages 66-74, 1982.

Abstract

Abstract is missing.