Towards a Formalization of the HSA Memory Model in the cat Language - Archive ouverte HAL Accéder directement au contenu
Autre Publication Scientifique Année : 2015

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-01413251 , version 1 (09-12-2016)

Identifiants

  • HAL Id : hal-01413251 , version 1

Citer

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

Collections

INRIA INRIA2
115 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More