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

by Xavier Rival
Venue:In 31st symposium Principles of Programming Languages