Exploiting specifications to improve program performance
Mark T. Vandevoorde · DSpace@MIT (Massachusetts Institute of Technology) · 1993
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 performance. I use specifications in