Matches in SemOpenAlex for { <https://semopenalex.org/work/W286932078> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W286932078 abstract "A major cause of software unreliability is the misapplication of primitive operations, such as taking the car of nil, dividing by zero, or using an invalid array index. These errors are traditionally discovered by extensive testing and debugging, but this approach is unsatisfactory because it is time-consuming and may not identify all potential errors. We suggest to address this problem with sophisticated static debugging systems. Recent advances in proof technology have brought such advanced static debugging systems within reach. Methods like control-flow analysis or set-based analysis establish invariants that can identify potentially faulty program operations. Past research, however, only focused on the synthesis of the invariants and completely neglected their presentation to the programmer. We believe that the programmer must be able to inspect the inferred invariants and to browse their underlying proof. Then, if some set invariant contains surprising elements, the programmer can determine whether the result is a weakness in the proof system or whether it uncovers a flaw in the program. This paper presents MrSpidey, a user-friendly, interactive static debugger that is completely integrated into DrScheme, our program development environment. MrSpidey exposes those operations that may signal errors during an execution; it describes the sets of values the program expressions may assume; and it also provides a graphical explanation of how values flow through the program. Using MrSpidey, the programmer can easily identify and eliminate the causes of potential run-time errors. Experimental results support our belief that MrSpidey expedites the process of program debugging." @default.
- W286932078 created "2016-06-24" @default.
- W286932078 creator A5000905628 @default.
- W286932078 creator A5018139743 @default.
- W286932078 date "2007-01-01" @default.
- W286932078 modified "2023-09-27" @default.
- W286932078 title "A New Way of Debugging Lisp Programs" @default.
- W286932078 cites W10127936 @default.
- W286932078 cites W1487777477 @default.
- W286932078 cites W1605111646 @default.
- W286932078 cites W1893810794 @default.
- W286932078 cites W1963954367 @default.
- W286932078 cites W2023168372 @default.
- W286932078 cites W2027065256 @default.
- W286932078 cites W2043100293 @default.
- W286932078 cites W2043133575 @default.
- W286932078 cites W2043261859 @default.
- W286932078 cites W2057065238 @default.
- W286932078 cites W2097699872 @default.
- W286932078 cites W2102389857 @default.
- W286932078 cites W2102430469 @default.
- W286932078 cites W2110131517 @default.
- W286932078 cites W2116818527 @default.
- W286932078 cites W2133828278 @default.
- W286932078 cites W2137946574 @default.
- W286932078 cites W21449722 @default.
- W286932078 cites W2150334562 @default.
- W286932078 cites W2165069483 @default.
- W286932078 cites W2494576483 @default.
- W286932078 cites W2611598995 @default.
- W286932078 cites W87876516 @default.
- W286932078 cites W1540716578 @default.
- W286932078 cites W1567572167 @default.
- W286932078 hasPublicationYear "2007" @default.
- W286932078 type Work @default.
- W286932078 sameAs 286932078 @default.
- W286932078 citedByCount "0" @default.
- W286932078 crossrefType "journal-article" @default.
- W286932078 hasAuthorship W286932078A5000905628 @default.
- W286932078 hasAuthorship W286932078A5018139743 @default.
- W286932078 hasConcept C115903868 @default.
- W286932078 hasConcept C136388014 @default.
- W286932078 hasConcept C160191386 @default.
- W286932078 hasConcept C168065819 @default.
- W286932078 hasConcept C177264268 @default.
- W286932078 hasConcept C190883126 @default.
- W286932078 hasConcept C199360897 @default.
- W286932078 hasConcept C2778485113 @default.
- W286932078 hasConcept C2778514511 @default.
- W286932078 hasConcept C41008148 @default.
- W286932078 hasConceptScore W286932078C115903868 @default.
- W286932078 hasConceptScore W286932078C136388014 @default.
- W286932078 hasConceptScore W286932078C160191386 @default.
- W286932078 hasConceptScore W286932078C168065819 @default.
- W286932078 hasConceptScore W286932078C177264268 @default.
- W286932078 hasConceptScore W286932078C190883126 @default.
- W286932078 hasConceptScore W286932078C199360897 @default.
- W286932078 hasConceptScore W286932078C2778485113 @default.
- W286932078 hasConceptScore W286932078C2778514511 @default.
- W286932078 hasConceptScore W286932078C41008148 @default.
- W286932078 hasLocation W2869320781 @default.
- W286932078 hasOpenAccess W286932078 @default.
- W286932078 hasPrimaryLocation W2869320781 @default.
- W286932078 hasRelatedWork W1547545942 @default.
- W286932078 hasRelatedWork W1568733482 @default.
- W286932078 hasRelatedWork W166717638 @default.
- W286932078 hasRelatedWork W1992595324 @default.
- W286932078 hasRelatedWork W1992788155 @default.
- W286932078 hasRelatedWork W2001767047 @default.
- W286932078 hasRelatedWork W2016338388 @default.
- W286932078 hasRelatedWork W2057123779 @default.
- W286932078 hasRelatedWork W2057531314 @default.
- W286932078 hasRelatedWork W2061109137 @default.
- W286932078 hasRelatedWork W2064135357 @default.
- W286932078 hasRelatedWork W2109473343 @default.
- W286932078 hasRelatedWork W2166715292 @default.
- W286932078 hasRelatedWork W2318181419 @default.
- W286932078 hasRelatedWork W2319415934 @default.
- W286932078 hasRelatedWork W2376512218 @default.
- W286932078 hasRelatedWork W2539816803 @default.
- W286932078 hasRelatedWork W2617064411 @default.
- W286932078 hasRelatedWork W2899875271 @default.
- W286932078 hasRelatedWork W2949860352 @default.
- W286932078 isParatext "false" @default.
- W286932078 isRetracted "false" @default.
- W286932078 magId "286932078" @default.
- W286932078 workType "article" @default.