Patrice Chalin Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations? 139-158 2007 19 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-006-0016-1 db/journals/fac/fac19.html#Chalin07