Path-oriented program analysis
Material type: TextPublication details: Cambridge ; New York : Cambridge University Press, ©2008.Description: xii, 196 p. : ill. ; 24 cmISBN:- 9780521882866
- 005.1 22 HUA-P
- QA76.76.D47 H83 2008
Contents:
State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | IIITD Reference | Computer Science and Engineering | REF 005.1 HUA-P (Browse shelf(Opens below)) | Available | 003884 |
Total holds: 0
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.
There are no comments on this title.