刊年 | 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 |