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]
@inproceedings{OanceaR11,
title = {A Hybrid Approach to Proving Memory Reference Monotonicity},
author = {Cosmin E. Oancea and Lawrence Rauchwerger},
year = {2011},
doi = {10.1007/978-3-642-36036-7_5},
url = {http://dx.doi.org/10.1007/978-3-642-36036-7_5},
researchr = {https://researchr.org/publication/OanceaR11},
cites = {0},
citedby = {0},
pages = {61-75},
booktitle = {Languages and Compilers for Parallel Computing, 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers},
editor = {Sanjay V. Rajopadhye and Michelle Mills Strout},
volume = {7146},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-36036-7},
}