Path-oriented program analysis / J. C. Huang.
Material type:
TextPublication details: Cambridge ; New York : Cambridge University Press, 2008.Description: xii, 196 p. : ill. ; 24 cmISBN: - 9780521882866
- 0521882869
- 22 005.1 HUA
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Book - Borrowing
|
Central Library Lower Floor | Scientific home BookShop | 005.1 HUA (Browse shelf(Opens below)) | 2691 | Available | 000040736 |
Browsing Central Library shelves,Shelving location: Lower Floor Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 005.1 HAL Competitive programming. | 005.1 HEY Novell's guide to integrating NetWare and TCP/IP / | 005.1 HOB Embedded software development for safety-critical systems / | 005.1 HUA Path-oriented program analysis / | 005.1 HUN The pragmatic programmer : | 005.1 INT Introduction To Algorithms | 005.1 INT Introduction To Algorithms |
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.
There are no comments on this title.