Silver modularity analysis changelog

Date of Submission: 
October 31, 2012
Report Number: 
12-024
Report PDF: 
Abstract: 
This document is intended as a log of all changes that had to be made to the Silver compiler implementation to conform to the modular well-denedness analysis's restrictions. This is a companion document to our SLE 2012 paper introducing this analysis.