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]
@inproceedings{KilpatrickCK98,
title = {A Case Study on Proving Transformations Correct: Data-Parallel Conversion},
author = {Stephen Kilpatrick and Maurice Clint and Peter Kilpatrick},
year = {1998},
url = {http://www.kestrel.edu/home/people/fitzpatrick/pub/IWFM98.pdf},
tags = {case study, transformation},
researchr = {https://researchr.org/publication/KilpatrickCK98},
cites = {0},
citedby = {0},
booktitle = {2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998},
editor = {Sharon Flynn and Andrew Butterfield},
series = {Workshops in Computing},
publisher = {BCS},
}