FEEDBACK
Normal view MARC view ISBD view

Path-oriented program analysis

By: Huang, J. C 1935-.
Material type: materialTypeLabelBookPublisher: Cambridge ; New York : Cambridge University Press, 2008Description: xii, 196 p. : ill. ; 24 cm.ISBN: 9780521882866.Subject(s): Computer software -- Development | Computer software -- Development -- Computer programsOnline resources: Contributor biographical information | Publisher description | Table of contents only
Contents:
State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
Books Books IIITD
Reference
Computer Science and Engineering REF 005.1 HUA-P (Browse shelf) 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 for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in