Browse Dissertations and Theses - Computer Science by Author "Zhou, Pin"

  • Zhou, Pin (2006)
    We also present an incremental checking framework, called iChecker, that leverages iWatcher to provide an iChecker library for efficient, incremental, run-time consistency checks of mutable data structures in C programs. ...

    application/pdf

    application/pdfPDF (4MB)Restricted to U of Illinois