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.
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
