Proving correctness of compiler optimizations by temporal logic (2002)

by David Lacey , Neil D. Jones
Citations:53 - 4 self