Reasoning about Relaxed Programs. (2011)

by M Carbin, D Kim, S Misailovic, M Rinard