A Certified Data Race Analysis for a Java-like Language - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

A Certified Data Race Analysis for a Java-like Language

Fichier non déposé

Dates et versions

hal-00465547 , version 1 (19-03-2010)

Identifiants

  • HAL Id : hal-00465547 , version 1

Citer

Frédéric Dabrowski, David Pichardie. A Certified Data Race Analysis for a Java-like Language. TPHOL'09, 2009, Germany. pp.212--227. ⟨hal-00465547⟩
290 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More