@inproceedings{Norrish_Strout_15, address = {Hillsboro, Oregon, USA}, author = {Norrish, Michael and Strout, Michelle Mills}, booktitle = {Languages and Compilers for Parallel Computing}, doi = {10.1007/978-3-319-17473-0_9}, editor = {{James Brodman and Peng Tu}}, month = may, pages = {131--145}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/8208.pdf}, publisher = {Springer}, title = {An Approach for Proving the Correctness of Inspector/Executor Transformations}, year = {2015} }