01672cam a2200349 a 4500 14901673 OSt 20150408114157.0 070625s2008 enka b 001 0 eng 2007026404 9780521882866 (hardback) 0521882869 (hardback) (OCoLC)ocn145943332 (OCoLC)145943332 DLC DLC BTCTA BAKER YDXCP C#P DLC QA76.76.D47 H83 2008 005.1 22 HJP Huang, J. C., 1935- 40875 Path-oriented program analysis / J.C. Huang. Cambridge ; New York : Cambridge University Press, 2008. xii, 196 p. : ill. ; 24 cm. Includes bibliographical references (p. 191-193) and index. State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces. Computer software Development. Computer software Development Computer programs. 40876 Contributor biographical information http://www.loc.gov/catdir/enhancements/fy0803/2007026404-b.html Publisher description http://www.loc.gov/catdir/enhancements/fy0803/2007026404-d.html Table of contents only http://www.loc.gov/catdir/enhancements/fy0803/2007026404-t.html 7 cbc orignew 1 ecip 20 y-gencatlg ddc BOOK 32553 267053 0 2013-12-12 0 0 005.1 HJP 2013-12-12 CL 00452741 CL 2013-12-12 00:00:00 BOOK ddc 0 0 2013-12-12 0 0 005.1 HJP 2013-12-12 CL 00452742 CL 2013-12-12 00:00:00 BOOK ddc 0 0 2013-12-12 0 0 005.1 HJP 2013-12-12 CL 00452743 CL 2013-12-12 00:00:00 BOOK ddc 0 0 2013-12-12 0 0 005.1 HJP 2013-12-12 SZM 00452744 SZM 2013-12-12 00:00:00 BOOK ddc 0 0 2013-12-12 0 0 005.1 HJP 2013-12-12 SZM 00452745 SZM 2013-12-12 00:00:00 BOOK ddc 0 0 2013-12-12 0 0 005.1 HJP 2013-12-12 SZM 00452746 SZM 2013-12-12 00:00:00 BOOK ddc 0