References

1

Cormac Flanagan. Effective Static Debugging via Componential Set-Based Analysis. PhD thesis, Rice University, Houston, Texas, May 1997.

2

Cormac Flanagan and Matthias Felleisen. Modular and polymorphic set-based analysis: Theory and practice. Technical Report TR-96-266, Rice University, 1996.

3

Cormac Flanagan and Matthias Felleisen. Componential set-based analysis. In Proceedings of the ACM Conference on Programming Language Design and Implementation, 1997, to appear.

4

Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, and Matthias Felleisen. Finding bugs in the web of program invariants. In Proceedings of the ACM Conference on Programming Language Design and Implementation, pages 23-32, 1996.