Effective Static Debugging via Compential Set-Based Analysis

By Cormac Flanagan. 1997

Subfields: Program Analysis & Verification

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Program Analysis & Verification

1. Ming-Ho Yee
2. K. Rustan M. Leino
3. Arjun Guha
4. Cormac Flanagan

Citations in the corpus

• Do Machine Learning Models Produce TypeScript Types that Type Check? (2023, background): “Soft Scheme [10] infers types for Scheme programs, but Flanagan [17, p. 41] reports that it produces unintuitive types.”
• Houdini, an Annotation Assistant for ESC/Java (2001, methodology): “The second annotation assistant uses a whole-program set-based analysis [4, 9] to identify which variables and fields are never null and inserts corresponding annotations into the program.”