01066nam a2200253 a 4500 vtls000075311 KUKTEM 20251125095817.0 131011t2008 enka f 001 0 eng d 9780521882866 (hardback) 0521882869 (hardback) 201410011516 saini 201310111208 ida UMP QA76.76.D47 H83 2008 Huang, J. C. Path-oriented program analysis / J. C. Huang Cambridge : Cambridge University Press, 2008 xii, 196 p. : ill. ; 23 cm. Includes bibliographical references 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 0 0 0 0 20000 20000 2019-09-04 349.32 0 QA76.76.D47 H83 2008 0000087234 2019-09-04 00:00:00 1 349.32 2019-09-04 OPEN VIRTUA40 74927 74933 VTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*5040*5050*6500*6501*9992