Huang, J. C.,  1935- <br/><br/>
Path-oriented program analysis / 
J.C. Huang. 
 - Cambridge ;  New York :  Cambridge University Press,  2008. 
 - xii, 196 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references (p. 191-193) and index. 
<br/><br/>State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces. 
<br/><br/><label>ISBN: </label>9780521882866 (hardback) 0521882869 (hardback) 
<br/><br/><label>LCCN: </label>2007026404 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development.<br/>Computer software--Development--Computer programs.
<br/><br/><label>LC Class. No.: </label>QA76.76.D47  / H83 2008 
<br/><br/><label>Dewey Class. No.: </label>005.1  / HJP