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 Connect in order to contact the contributor
Submitted on : Friday, December 9, 2016 - 3:33:41 PM
Last modification on : Wednesday, June 8, 2022 - 12:50:03 PM

Identifiers

  • HAL Id : hal-01413251, version 1

Collections

INRIA | INRIA2

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 Datacite

Share

Metrics

Record views

107

 

Contact                    Legal Notice                    Personal Data