Cint: a RISC interpreter for the C programming language.

Jack W. Davidson, Joseph V. Gresh

Browse the full PLDI paper archive.