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

by X Rival
Venue:In 31st symp. Principles of Progr. Lang