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
