Certifying Compilation and Run-Time Code Generation.

Luke Hornof Trevor Jim Certifying Compilation and Run-Time Code Generation. 60-74 1999 PEPM db/conf/pepm/pepm1999.html#HornofJ99