Relaxed-memory concurrency and verified compilation

Jaroslav Sevcik Viktor Vafeiadis Francesco Zappa Nardelli 1 Suresh Jagannathan Peter Sewell
1 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Type de document :
Communication dans un congrès
POPL, Jan 2011, Austin, TX, United States. 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00907801
Contributeur : Francesco Zappa Nardelli <>
Soumis le : jeudi 21 novembre 2013 - 17:41:50
Dernière modification le : jeudi 29 septembre 2016 - 01:22:11

Identifiants

  • HAL Id : hal-00907801, version 1

Collections

Citation

Jaroslav Sevcik, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell. Relaxed-memory concurrency and verified compilation. POPL, Jan 2011, Austin, TX, United States. 2011. <hal-00907801>

Partager

Métriques

Consultations de la notice

59