Path-oriented program analysis
Huang, J. C.
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.
9780521882866
2007026404
Computer software--Development.
Computer software--Development--Computer programs.
QA76.76.D47 / H83 2008
005.1 / HUA-P
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.
9780521882866
2007026404
Computer software--Development.
Computer software--Development--Computer programs.
QA76.76.D47 / H83 2008
005.1 / HUA-P