Now showing items 1-2 of 2

    • Effective Static Debugging via Compential Set-Based Analysis 

      Flanagan, Cormac (1997)
      Sophisticated software systems are inherently complex. Understanding, debugging and maintaining such systems requires inferring high-level characteristics of the system's behavior from a myriad of low-level details. For ...
    • NOOP: A mathematical model of object-oriented programming 

      AbdelGawad, Moez A. (2012)
      Computer software is ubiquitous. More than 35 × 10 18 computer instructions are executed around the globe each second. As computers dominate more aspects of our lives, there is a growing need to reason more accurately about ...