Towards a Formalization of the HSA Memory Model in the cat Language

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
Liste complète des métadonnées

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

Identifiants

  • HAL Id : hal-01413251, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

154