Exploiting Specifications to Improve Program Performance

Author(s)
Vandevoorde, Mark T.
Thumbnail
DownloadMIT-LCS-TR-598.pdf (9.657Mb)
Metadata
Show full item record
Abstract
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
Date issued
1994-02
URI
https://hdl.handle.net/1721.1/149759
Series/Report no.
MIT-LCS-TR-598
Collections