Browse Research and Tech Reports - Computer Science by Author "Ernst, Michael D."

  • Vakilian, Mohsen; Phaosawasdi, Amarin; Ernst, Michael D.; Johnson, Ralph E. (2014-09-09)
    Type qualifier inference tools usually operate in batch mode and assume that the program must not be changed except to add the type qualifiers. In practice, programs must be changed to make them type-correct, and programmers ...

    application/pdf

    application/pdfPDF (490kB)