Normal view MARC view ISBD view

Huang, J. C., 1935-

Path-oriented program analysis / J. C. Huang. - Cambridge ; New York : Cambridge University Press, 2008. - xii, 196 p. : ill. ; 24 cm.

Index : p. 194-196.

Bibliography : p. 191-193.

State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.

ISBN: 9780521882866 0521882869

Subjects--Topical Terms:
Computer software--Development.
Computer software--Development--Computer programs.

Subjects--Index Terms:

Dewey Class. No.: 005.1 / HUA