TY - BOOK AU - Khedker, Uday AU - Karkare, Bageshri AU - Sanyal, Amitabha TI - Data flow analysis : theory and practice SN - 9780849328800 SN - 200900205 U1 - 004.35 KHE PY - 2009/// CY - Boca Raton, FL PB - CRC Press/Taylor & Francis KW - Compilers - Computer programs KW - Computer software - Verification KW - Data flow computing KW - Software engineering N1 - Includes bibliographical references (p. 371-278) and index ER -