Khedker, Uday Data flow analysis : theory and practice / Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare - Boca Raton, FL : CRC Press/Taylor & Francis, c2009 - xiii, 386 p. : ill. ; 25 cm. Includes bibliographical references (p. 371-278) and index ISBN: 9780849328800 (hardcover : alk. paper) 0849328802 (hardcover : alk. paper) Subjects--Topical Terms: Compilers (Computer programs)Data flow computingSoftware engineeringComputer software--Verification