Skip to Main content Skip to Navigation
Other publications

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

Luc Maranget 1 Jade Alglave 2
1 GALLIUM - Langages de programmation, types, compilation et preuves
Inria de Paris
2 Microsoft - Microsoft Research [Cambridge]
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.
Document type :
Other publications
Complete list of metadata
https://hal.inria.fr/hal-01413251
Contributor : Luc Maranget <>
Submitted on : Friday, December 9, 2016 - 3:33:41 PM
Last modification on : Thursday, January 7, 2021 - 3:36:01 PM

Identifiers

  • HAL Id : hal-01413251, version 1

Collections

INRIA

Citation

Luc Maranget, Jade Alglave. Towards a Formalization of the HSA Memory Model in the cat Language. 2015, pp.57. ⟨hal-01413251⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

203

 

Contact                    Legal Notice                    Personal Data