Can I read Catching Bugs in the Web of Program Invariants on EtoBox?

Catching Bugs in the Web of Program Invariants by Cormac Flanagan; Matthew Flatt; Shriram Krishnamurthi; Stephanie Weirich; Matthias Felleisen is a scholarly article available to read on EtoBox.

What is Catching Bugs in the Web of Program Invariants about?

MrSpidey is a user-friendly, interactive static debugger for Scheme. A static debugger supplements the standard debugger by analyzing the program and pinpointing those program operations that may cause run-time errors such as dereferencing the null pointer or applying non-functions. The program analysis of MrSpildey computes value set descriptions for each term in the program and constructs a value flow graph connecting the set descriptions. Using the set descripticms, MrSpidey can identify and highlight potentially erroneous program operations, whose cause the programmer can then explore by selectively exposing portions of the value flow graph.

Author

Cormac Flanagan; Matthew Flatt; Shriram Krishnamurthi; Stephanie Weirich; Matthias Felleisen

Publisher

ACM

Published

1996

Language

EN