Certifying Compilation and Run-Time Code Generation

• 1 January 1999
• journal article
• Published by Springer Nature in Higher-Order and Symbolic Computation
• Vol. 12  (4) , 337-375
• https://doi.org/10.1023/a:1010039502678

Abstract

Keywords

• SAFETY
• OBJECT CODE
• LANGUAGE
• COMPILATION
• RUN TIME CODE GENERATION