Cosmin E. Oancea, Lawrence Rauchwerger. A Hybrid Approach to Proving Memory Reference Monotonicity. In Sanjay V. Rajopadhye, Michelle Mills Strout, editors, Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers. Volume 7146 of Lecture Notes in Computer Science, pages 61-75, Springer, 2011. [doi]
Abstract is missing.