000			02136nam a2200517 i 4500
001			6267335
003			IEEE
005			20220712204633.0
006			m o d
007			cr |n|||||||||
008			151223s2004 mau ob 001 eng d
010			_z 82024992 (print)
020			_a9780262256964 _qelectronic
020			_z0262192187 _qprint
020			_z9780262693073 _qprint
035			_a(CaBNVSL)mat06267335
035			_a(IDAMS)0b000064818b4315
040			_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL
050		4	_aQA76.6 _b.S49 1983eb
082	0	0	_a001.64/2 _219
100	1		_aShapiro, Ehud Y., _eauthor. _922205
245	1	0	_aAlgorithmic program debugging / _cEhud Y. Shapiro.
264		1	_aCambridge, Massachusetts : _bMIT Press, _cc1983.
264		2	_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[2004]
300			_a1 PDF (xiv, 232 pages).
336			_atext _2rdacontent
337			_aelectronic _2isbdmedia
338			_aonline resource _2rdacarrier
490	1		_aACM distinguished dissertations
502			_aThesis (Ph.D.)--Yale University, 1982.
504			_aIncludes bibliographical references (p. [215]-229) and index.
506	1		_aRestricted to subscribers or individual electronic text purchasers.
520			_aProductively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.
530			_aAlso available in print.
538			_aMode of access: World Wide Web
588			_aDescription based on PDF viewed 12/23/2015.
650		0	_aDebugging in computer science. _96701
650		0	_aProlog (Computer program language) _921505
655		0	_aElectronic books. _93294
710	2		_aIEEE Xplore (Online Service), _edistributor. _922206
710	2		_aMIT Press, _epublisher. _922207
776	0	8	_iPrint version _z9780262693073
830		0	_aACM distinguished dissertations _921754
856	4	2	_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335
942			_cEBK
999			_c72990 _d72990