TY - BOOK T1 - Data flow analysis theory and practice A1 - Khedker, Uday A2 - Sanyal, Amitabha A2 - Karkare, Bageshri LA - English PP - Boca Raton, Fla. PB - CRC Press/Taylor & Francis YR - 2009 UL - https://tuklas.up.edu.ph/Record/UP-99796217609243822 OP - 386 NO - Dr. Prospero Naval Jr. (recommending faculty) : CS Dept. CN - QA 76.76 C65 K44 2009 SN - 9780849328800 (hbk. : alk. paper) SN - 0849328802 (hbk. : alk. paper) KW - Compilers (Computer programs). KW - Data flow computing. KW - Software engineering. KW - Computer software : Verification. ER -