Michael Norrish, Michelle Mills Strout. An Approach for Proving the Correctness of Inspector/Executor Transformations. In James C. Brodman, Peng Tu, editors, Languages and Compilers for Parallel Computing - 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers. Volume 8967 of Lecture Notes in Computer Science, pages 131-145, Springer, 2014. [doi]
Abstract is missing.