M. Set / Budapest / Cambridge / London / N. Set / /
Company
Prentice-Hall / MIT Press / S. Zodiac / Deriving Abstract Stores MrSpidey / Microsoft / /
Country
United Kingdom / / /
Event
Product Issues / /
Facility
Carnegie Mellon University / Carnegie-Mellon University / Aarhus University / Rice University / University of Wisconsin / /
IndustryTerm
stage algorithm / interactive optimization tool / macro systems / set-based analysis algorithm / static analysis tool / operation car / important tool / proof technology / interactive parallel programming tool / groups alternating analysis tools / interactive analysis tools / car tree / static debugging systems / environment builder / unix utilities / type systems / primitive operation car / car tree l1 / loop restructuring research tool / interactive static debugging tool / /
OperatingSystem
MacOS / Microsoft Windows / /
Organization
Aarhus University / Rice University / Houston / National Science Foundation / MIT / Computer Science Department / Carnegie Mellon University / Program Invariants Cormac Flanagan Matthew Flatt Shriram Krishnamurthi Matthias Felleisen Stephanie Weirich Department of Computer Science / University of Wisconsin / /
Person
Bruce Duba / Corky Cartwright / Matthias Felleisen Stephanie Weirich / Matthew Flatt Shriram Krishnamurthi Matthias / / /
Catching Bugs in the Web of Program Invariants Cormac Flanagan Matthew Flatt Shriram Krishnamurthi