Certifying compilation and run-time code generation

DOI10.1023/A:1010039502678zbMath1008.68035MaRDI QIDQ1974452

Trevor Jim, Luke Hornof

Publication date: 6 April 2003

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

run-time code generationcertifying compiler

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

This page was built for publication: Certifying compilation and run-time code generation