Path-oriented program analysis /
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
9780521882866 (hardback) 0521882869 (hardback)
Computer software--Development
Computer software--Development--Computer programs
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
9780521882866 (hardback) 0521882869 (hardback)
Computer software--Development
Computer software--Development--Computer programs