Browsing LCS Technical Reports (1974 - 2003) by Author "Vandevoorde, Mark T."

Now showing items 1-1 of 1

    • Exploiting Specifications to Improve Program Performance 

      Vandevoorde, Mark T. (1994-02)
      Although programmers benefit from interface specifications when reasoning about programs, existing compilers do not. In this thesis, I discuss how to incorporate specifications into a programming language to improve ...