Denotational Translation Validation
In this dissertation we present a simple and scalable system for validating the correctness of low-level program transformations. Proving that program transformations are correct is crucial to the development of security critical software tools. We achieve a simple and scalable design by compiling s...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_US |
| Published: |
Harvard University
2013
|
| Subjects: | |
| Online Access: | http://dissertations.umi.com/gsas.harvard:10045 http://nrs.harvard.edu/urn-3:HUL.InstRepos:10121982 |