Search
Now showing items 1-1 of 1
Denotational Translation Validation
(2013-01-02)
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 ...