|
|
Volumn , Issue , 1993, Pages 46-55
|
|
Abstract debugging of higher-order imperative languages
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER SOFTWARE;
ERROR DETECTION;
PASCAL (PROGRAMMING LANGUAGE);
PROGRAM COMPILERS;
ABSTRACT DEBUGGING;
INTERMITTENT ASSERTIONS;
INVARIANT ASSERTIONS;
RUN TIME;
SCALAR VARIABLES;
SYNTOX SYSTEM;
PROGRAM DEBUGGING;
|
|
EID: 0027833830
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/155090.155095 Document Type: Conference Paper |
|
Times cited : (88)
|
|
References (25)
|
