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

Technical Report HW-MACS-TR-0025

TitleA Practical Perspective on the Verifying Compiler Proposal
AuthorsAndrew Ireland
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


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