TY  - BOOK
AU  - Huang,J.C.
TI  - Path-oriented program analysis
SN  - 9780521882866 (hardback)
AV  - QA76.76.D47 H83 2008
U1  - 005.1 22
PY  - 2008///
CY  - Cambridge, New York
PB  - Cambridge University Press
KW  - Computer software
KW  - Development
KW  - Computer programs
N1  - 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
UR  - http://www.loc.gov/catdir/enhancements/fy0803/2007026404-b.html
UR  - http://www.loc.gov/catdir/enhancements/fy0803/2007026404-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0803/2007026404-t.html
ER  -