Abstract : This document describes the HSA memory model formalization in the cat language. The cat language is domain-specific and allows users to define axiomatic models by stating constraints over the candidate executions of a concurrent program.
Type de document :
Autre publication
HSA Foundation technical and normative document, available at http://www.hsafoundation.com/standa.. 2015, pp.57
https://hal.inria.fr/hal-01413251
Contributeur : Luc Maranget
<>
Soumis le : vendredi 9 décembre 2016 - 15:33:41
Dernière modification le : jeudi 26 avril 2018 - 10:28:45
Luc Maranget, Jade Alglave. Towards a Formalization of the HSA Memory Model in the cat Language. HSA Foundation technical and normative document, available at http://www.hsafoundation.com/standa.. 2015, pp.57. 〈hal-01413251〉
