Tech Reports Home Contact
Technical Report Series
Actions
Submit Report
Browse Reports
Information
Information for Authors
Contact Details

Technical Report HW-MACS-TR-0025


TitleA Practical Perspective on the Verifying Compiler Proposal
AuthorsAndrew Ireland
Date2004-11-01
AbstractA personal perspective of the verifying compiler proposal is presented. I outline what I see as the key practical issues that need to be addressed. I focus in particular on theorem proving issues and the role that proof planning can play in building the verifying compiler.
GroupDependable Systems
Notes
Download

 

Email Technical Report's Administrator
|MACS Home| Top of the Page

Department of Computer Science, Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS, +44 (0) 131 4514152

Last Updated: 02 September 2003 Copyright Heriot-Watt University, Disclaimer