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.
Complete list of metadatas

https://hal.inria.fr/hal-01413251
Contributor : Luc Maranget <>
Submitted on : Friday, December 9, 2016 - 3:33:41 PM
Last modification on : Thursday, April 26, 2018 - 10:28:45 AM

Identifiers

  • HAL Id : hal-01413251, version 1

Collections

Citation

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

Share

Metrics

Record views

185