Analyse statique par interprétation abstraite de programmes concurrents dans le modèle de mémoire faible TSO - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Master Thesis Year : 2014

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

No file

Dates and versions

hal-01105251 , version 1 (20-01-2015)

Identifiers

  • HAL Id : hal-01105251 , version 1

Cite

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⟩
84 View
0 Download

Share

Gmail Facebook X LinkedIn More