Proving correctness via free theorems: The case of the destroy/build-rule (2008)

by Janis Voigtländer
Venue:IN PARTIAL EVALUATION AND PROGRAM MANIPULATION, PROCEEDINGS
Citations:7 - 4 self