Catching Bugs in the Web of Program Invariants Export

@article{citeulike:4915, abstract = {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 MrSpidey computes value set descriptions for each term in the program and constructs a value flow graph connecting the set descriptions. Using the set descriptions, MrSpidey can identify and...}, author = {Flanagan, Cormac and Flatt, Matthew and Krishnamurthi, Shriram and Weirich, Stephanie and Felleisen, Matthias}, citeulike-article-id = {4915}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.2542}, journal = {ACM SIG\-PLAN Notices}, keywords = {cfa, plt, scheme}, number = {5}, pages = {23--32}, posted-at = {2004-12-24 02:59:20}, title = {Catching Bugs in the Web of Program Invariants}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.2542}, volume = {31}, year = {1996} }

TY - JOUR ID - citeulike:4915 L3 - citeulike-article-id:4915 N2 - 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 MrSpidey computes value set descriptions for each term in the program and constructs a value flow graph connecting the set descriptions. Using the set descriptions, MrSpidey can identify and... IS - 5 JF - ACM SIG\-PLAN Notices EP - 32 TI - Catching Bugs in the Web of Program Invariants VL - 31 SP - 23 KW - cfa KW - plt KW - scheme AU - Flanagan, Cormac AU - Flatt, Matthew AU - Krishnamurthi, Shriram AU - Weirich, Stephanie AU - Felleisen, Matthias PY - 1996/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.2542 ER -