|
The question of compiler reliability came up in a class discussion. I tired to explain that this question is more subtle than it seems. Mission critical systems may require that the compiler is valdated, which requires a standard. But they may also require the ability to review to object code, and have direct traceability to the source.
This paper is about validating a compiler.
Another, perhaps more interesting approach, is discussed in this paper. It talks about using proof carrying code etc. (also check the references).
The tradtional approach to these issues is, of course, to create validation test suites for compilers. Check the Ada Conformity Assessment Test Suite .
Posted to implementation by Ehud Lamm on 5/31/01; 1:41:46 PM
|
|
Compiler reliability
