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

by X Rival
Venue:In: 31st symposium Principles of Programming Languages, ACM