000			01583cam a2200325 a 4500
001			14901673
005			20170607102001.0
008			070625s2008 enka b 001 0 eng
010			_a 2007026404
020			_a9780521882866
035			_a(OCoLC)ocn145943332
035			_a(OCoLC)145943332
040			_aDLC _cDLC _dBTCTA _dBAKER _dYDXCP _dC#P _dDLC
050	0	0	_aQA76.76.D47 _bH83 2008
082	0	0	_a005.1 _222 _bHUA-P
100	1		_aHuang, J. C.
245	1	0	_aPath-oriented program analysis _cJ.C. Huang.
260			_aCambridge ; _aNew York : _bCambridge University Press, _c©2008.
300			_axii, 196 p. : _bill. ; _c24 cm.
504			_aIncludes bibliographical references (p. 191-193) and index.
505	0		_aState constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.
650		0	_aComputer software _xDevelopment.
650		0	_aComputer software _xDevelopment _xComputer programs.
856	4	2	_3Contributor biographical information _uhttp://www.loc.gov/catdir/enhancements/fy0803/2007026404-b.html
856	4	2	_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0803/2007026404-d.html
856	4	1	_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0803/2007026404-t.html
906			_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg
942			_2ddc _cBK
999			_c9609 _d9609