Data flow analysis : theory and practice - Khedker, Uday.; Sanyal, Amitabha; Karkare, Bageshri (Boca Raton, FL : CRC Press/Taylor & Francis, 2009)
Includes bibliographical references (p. 371-278) and index.
Keywords: Compilers (Computer programs); Data flow computing; Software engineering; Computer software -- Verification