A Certified Data Race Analysis for a Java-like Language - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

A Certified Data Race Analysis for a Java-like Language

Frédéric Dabrowski
Software certification with semantic analysis
David Pichardie
Software certification with semantic analysis
CV

Domains

Programming Languages [cs.PL]

Frédéric Dabrowski  : Connect in order to contact the contributor

https://hal.science/hal-00465547

Submitted on : Friday, March 19, 2010-5:48:16 PM

Last modification on : Friday, March 24, 2023-2:52:53 PM

No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00465547 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
290 View
0 Download

Share

Gmail Facebook X LinkedIn More