Symbolic transfer functions-based approaches to certified compilation (2004)

by X Rival
Venue:in 31st Symposium Principles of Programming Languages