Simple relational correctness proofs for static analyses and program transformations (2004)

by N Benton
Venue:in Proc. of 31st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 2004, ACM Press