Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen  Home/Search
Context Related
| rice.edu/CS/PLT/Pu...pldi96ffkwf.ps.gz neu.edu/scheme/pub...pldi96ffkwf.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: rice.edu/CS/PLT/Publications/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Cited by: More
Validating the Unit Correctness of Spreadsheet Programs - Tudor Antoniu Blunk (2004) (Correct)
A soft-typing system for Erlang - Nyström (2003) (Correct)
Type Error Slicing in Implicitly Typed Higher-Order Languages - Haack, Wells (2004) (Correct)
Similar documents (at the sentence level):
19.1%: A New Way of Debugging Lisp Programs - Flanagan, Felleisen (1998) (Correct)
14.1%: Effective Static Debugging via Componential Set-Based Analysis - Flanagan (1997) (Correct)
Active bibliography (related documents): More All
0.2: Set-Based Analysis for Full Scheme and Its Use in Soft-Typing - Flanagan, Felleisen (1995) (Correct)
0.1: Set Constraints: a Pearl in Research on Constraints - Pacholski, Podelski (1997) (Correct)
0.1: Analysis and Transformation in an Interactive Parallel.. - Kennedy, McKinley, Tseng (1993) (Correct)
Similar documents based on text: More All
0.6: Selectors Make Analyzing case-lambda Too Hard - Meunier, Findler, Steckler, Wand (2001) (Correct)
Related documents from co-citation: More All
16: Set-based analysis of ML programs (context) - Heintze - 1994
11: Soft typing with conditional types - Aiken, Wimmers et al. - 1994
10: Control Flow Analysis in Scheme (context) - Shivers - 1988
BibTeX entry: (Update)
Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, and Matthias Felleisen. Catching bugs in the web of program invariants. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 23--32, May 1996. http://citeseer.ist.psu.edu/flanagan96catching.html More
@article{ flanagan96catching,
author = "Cormac Flanagan and Matthew Flatt and Shriram Krishnamurthi and Stephanie Weirich and Matthias Felleisen",
title = "Catching Bugs in the Web of Program Invariants",
journal = "ACM SIG{\-}PLAN Notices",
volume = "31",
number = "5",
pages = "23--32",
year = "1996",
url = "citeseer.ist.psu.edu/flanagan96catching.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
476 Programming Language (context) - Kernighan, Ritchie et al. - 1988
254 The revised 4 report on the algorithmic language scheme - Clinger, Rees - 1991
176 Control-flow Analysis of HigherOrder Languages (context) - Shivers - 1991
165 Set-based analysis of ML programs (context) - Heintze - 1994
157 Soft typing with conditional types - Aiken, Wimmers et al. - 1994
113 Akad'emiai Kiad'o (context) - G'ecseg, Steinby - 1984
65 A practical soft type system for scheme - Wright, Cartwright - 1994
65 The Parascope parallel programming environment - Cooper, Hall et al. - 1993
55 Abstract debugging of higherorder imperative languages (context) - Bourdoncle - 1993
55 Interactive parallel programming using the ParaScope Editor - Kennedy, Kinley et al. - 1991
55 Space-efficient closure representations - Shao, Appel - 1994
55 A unified treatment of flow analysis in higher-order languag.. - Jagannathan, Weeks - 1995
49 The Tiny loop restructuring research tool - Wolfe - 1991
43 Fuzz revisited: A re-examination of the reliability of unix .. - Miller, Koski et al. - 1995
34 Effective flow analysis for avoiding run-time checks - Jagannathan, Wright - 1995
26 The semantics of future and its use in program optimizations - Flanagan, Felleisen - 1995
23 Set-based analysis for full Scheme and its use in soft-typin.. - Flanagan, Felleisen
18 Dynamic typing: syntax and proof theory (context) - Henglein - 1994
18 call-by-value (context) - Plotkin - 1975
17 editor: A new interactive parallel programming tool (context) - Hiranandani, Kennedy et al. - 1994
15 An equational framework for the flow analysis of higher orde.. (context) - Stefanescu, Zhou - 1994
15 ML partial evaluation using set-based analysis - Malmkjaer, Heintze et al. - 1994
12 Sigmacs: A programmable programming environment (context) - Shei, Gannon - 1990
9 Set based analysis of arithmetic (context) - Heintze - 1993
3 Zodiac: A programming environment builder (context) - Krishnamurthi
3 MrEd: An engine for portable graphical user interfaces (context) - Flatt
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.rice.edu/CS/PLT/Publications/): More
Synthesizing Object-Oriented and Functional Design.. - Krishnamurthi.. (1998) (Correct)
Reasoning about Explicit and Implicit Representations of State - Sabry, Field (1993) (Correct)
A Practical Soft Type System for Scheme - Wright, Cartwright (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC