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

Cached

Download Links

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