Compiler Verification and Compiler Architecture
Electr. Notes Theor. Comput. Sci., pp. 1-1, 2002.
hoare logicobject oriented languagehardware architectureintermediate representationtheorem proverMore(4+)
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
Full Text (Upload PDF)
PPT (Upload PPT)