Path-oriented program analysis / J. C. Huang

By:

Huang, J. C

Material type: Text

TextPublication details: Cambridge : Cambridge University Press, 2008Description: xii, 196 p. : ill. ; 23 cmISBN:

9780521882866 (hardback)
0521882869 (hardback)

Subject(s):

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. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 2 )

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Open Shelf	UMPLIB PEKAN	QA76.76.D47 H83 2008 (Browse shelf(Opens below))	1	Available		0000087234

Includes bibliographical references and index

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