Re: Integrity Implied by Ada Compiler Validation?



Date view Thread view Subject view Author view

Dave Stringer-Calvert (davesc(at)minster.york.ac.uk)
Tue, 11 Jul 1995 13:23:54 +0100


You may be interested to read a report by forsyth et al, part of a study of "High Integrity Ada" undertaken at York. The report addresses the prospects for Trusted Ada Compilation, and is available via ftp or WWW at: ftp://ftp.cs.york.ac.uk/YSE/ You may also be interested in my DPhil qualifying dissertation "Trusted Compilation". This is available at: http://www.york.ac.uk/~dwjsc100/compilers.html Dave -- Dave Stringer-Calvert, MEng MACM, Department of Computer Science, University of York, Heslington, York, Y01 5DD. [+44|0] 1904 432764


Date view Thread view Subject view Author view