Mechanized verification of CPS transformations (2007)

by Zaynah Dargaye, Xavier Leroy
Venue:In Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning, LPAR’07