Skip Nav Destination
Close Modal
Update search
NARROW
Format
Subjects
Date
Availability
1-11 of 11
Ehud Y. Shapiro
Close
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Sort by
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0001
EISBN: 9780262256964
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0002
EISBN: 9780262256964
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0003
EISBN: 9780262256964
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0004
EISBN: 9780262256964
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0005
EISBN: 9780262256964
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0006
EISBN: 9780262256964
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0007
EISBN: 9780262256964
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0008
EISBN: 9780262256964
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0009
EISBN: 9780262256964
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.003.0010
EISBN: 9780262256964
Publisher: The MIT Press
Published: 27 August 2004
DOI: 10.7551/mitpress/1192.001.0001
EISBN: 9780262256964
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.