Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Master thesis

Analyse statique par interprétation abstraite de programmes concurrents dans le modèle de mémoire faible TSO

Thibault Suzanne 1 
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique - ENS Paris, Inria Paris-Rocquencourt
Document type :
Master thesis
Complete list of metadata

https://hal.inria.fr/hal-01105251
Contributor : Antoine Miné Connect in order to contact the contributor
Submitted on : Tuesday, January 20, 2015 - 9:50:03 AM
Last modification on : Thursday, March 17, 2022 - 10:08:44 AM

Identifiers

  • HAL Id : hal-01105251, version 1

Collections

Citation

Thibault Suzanne. Analyse statique par interprétation abstraite de programmes concurrents dans le modèle de mémoire faible TSO. Performance et fiabilité [cs.PF]. 2014. ⟨hal-01105251⟩

Share

Metrics

Record views

82