Stephen Kilpatrick, Maurice Clint, Peter Kilpatrick. A Case Study on Proving Transformations Correct: Data-Parallel Conversion. In Sharon Flynn, Andrew Butterfield, editors, 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998. Workshops in Computing, BCS, 1998. [doi]
Abstract is missing.