Remote-scope Promotion: Clarified, Rectified, and Verified

Wickerson, John and Batty, Mark and Beckmann, Bradford M. and Donaldson, Alastair F. (2015) Remote-scope Promotion: Clarified, Rectified, and Verified. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA 2015. ACM, New York, USA pp. 731-747. ISBN 978-1-4503-3689-5. (doi: (Full text available)

PDF - Publisher pdf
Download (325kB) Preview
Official URL
Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: Formal methods, Isabelle, OpenCL, graphics processing unit (GPU), programming language implementation, weak memory models, work stealing
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Mark Batty
Date Deposited: 02 Nov 2015 23:59 UTC
Last Modified: 17 Jan 2017 15:57 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year