Compiler Verification and Compiler Architecture

Electr. Notes Theor. Comput. Sci., pp. 1-1, 2002.

Cited by: 7|Bibtex|Views0|Links
EI
Keywords:
hoare logicobject oriented languagehardware architectureintermediate representationtheorem proverMore(4+)

Abstract:

We study issues in verifying compilers for modern imperative and object-oriented languages. We take the view that it is not the compiler but the code generated by it which must be correct. It is this subtle difference that allows for reusing standard compiler architecture, construction methods and tools also in a verifying compiler. Progr...More

Code:

Data:

Your rating :
0

 

Tags
Comments