Algorithmic program debugging / Ehud Y. Shapiro.
By: Shapiro, Ehud Y [author.]
.
Contributor(s): IEEE Xplore (Online Service) [distributor.] | MIT Press [publisher.].
Material type: 
BookSeries: ACM distinguished dissertations: Publisher: Cambridge, Massachusetts : MIT Press, c1983Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2004]Description: 1 PDF (xiv, 232 pages).Content type: text Media type: electronic Carrier type: online resourceISBN: 9780262256964.Subject(s): Debugging in computer science | Prolog (Computer program language)Genre/Form: Electronic books.Additional physical formats: Print version: No titleDDC classification: 001.64/2 Online resources: Abstract with links to resource Also available in print.Dissertation note: Thesis (Ph.D.)--Yale University, 1982. Summary: Productively 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.
Thesis (Ph.D.)--Yale University, 1982.
Includes bibliographical references (p. [215]-229) and index.
Restricted to subscribers or individual electronic text purchasers.
Productively 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.
Also available in print.
Mode of access: World Wide Web
Description based on PDF viewed 12/23/2015.
There are no comments for this item.