Remote-scope promotion: clarified, rectified, and verified
@inproceedings{DBLP:conf/oopsla/WickersonBBD15,
author = {John Wickerson and
Mark Batty and
Bradford M. Beckmann and
Alastair F. Donaldson},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Remote-scope promotion: clarified, rectified, and verified},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on Object-Oriented Programming, Systems, Languages, and Applications, {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October 25-30, 2015},
pages = {731-747},
publisher = {{ACM}},
year = {2015},
doi = {10.1145/2814270.2814283},
}