| 刊年 | 1983 |
| G/SMD | リモートファイル |
| 形態 | 1 online resource (xiv, 232 p.) |
| シリーズ名 | ACM distinguished dissertations
|
| 注記 | 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
URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335(Abstract with links to resource) |
| 出版国 | アメリカ合衆国 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 著者情報 | Shapiro, Ehud Y.
|
| ISBN | 9780262256964(: electronic bk)
|
| 無効/取消ISBN | 9780262693073(: electronic bk)
|
| 件名 | LCSH:Debuggingincomputerscience
LCSH:Prolog(Computerprogramlanguage)
|
| NCID | 6267335 |
| IDENT | https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335 |