Formal Specification of the OpenMP Memory Model Page: 1 of 41
This article is part of the collection entitled: Office of Scientific & Technical Information Technical Reports and was provided to Digital Library by the UNT Libraries Government Documents Department.
The following text was automatically extracted from the image on this page using optical character recognition software:
LAW RE NCE
N AT 10O N A L
International Journal of Parallel Programming
Formal Specification of the
OpenMP Memory Model
G. Bronevetsky, B. de Supinski
December 21, 2006
Here’s what’s next.
This article can be searched. Note: Results may vary based on the legibility of text within the document.
Tools / Downloads
Get a copy of this page or view the extracted text.
Citing and Sharing
Basic information for referencing this web page. We also provide extended guidance on usage rights, references, copying or embedding.
Reference the current page of this Article.
Bronevetsky, G & de Supinski, B. Formal Specification of the OpenMP Memory Model, article, December 19, 2006; Livermore, California. (digital.library.unt.edu/ark:/67531/metadc894092/m1/1/: accessed July 18, 2018), University of North Texas Libraries, Digital Library, digital.library.unt.edu; crediting UNT Libraries Government Documents Department.