Skip to main content

Remote-scope Promotion: Clarified, Rectified, and Verified

Wickerson, John, Batty, Mark, Beckmann, Bradford M., 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 . pp. 731-747. ACM, New York, USA ISBN 978-1-4503-3689-5. (doi:10.1145/2814270.2814283)

PDF - Publisher pdf
Download (325kB) Preview
Official URL
Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.1145/2814270.2814283
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: 29 May 2019 16:15 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year