Certifying Compilation and Run-time Code Generation (1999)

by Luke Hornof , Trevor Jim
Venue:IN ACM WORKSHOP ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION
Citations:31 - 0 self