A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs

Romain Demeyer; Wim Vanhoof

A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs

Faculte d'informatique

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

langue originale	Anglais
titre	Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012)
Pages	10-24
Etat de la publication	Publié - 2012
Evénement	22nd Workshop on Logic-based Programming Environments (WLPE 2012) - Budapest, Hongrie Durée: 8 sept. 2012 → …

Colloque

Colloque	22nd Workshop on Logic-based Programming Environments (WLPE 2012)
Pays/Territoire	Hongrie
La ville	Budapest
période	8/09/12 → …

Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. (Chercheur) & Vanhoof, W. (Responsable du Projet)
15/12/09 → …
Projet: Projet de thèse

Contient cette citation

@inproceedings{df16b321f1e9476ab24e5a7743d32fa5,

title = "A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs",

author = "Romain Demeyer and Wim Vanhoof",

year = "2012",

language = "English",

pages = "10--24",

booktitle = "Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012)",

note = "22nd Workshop on Logic-based Programming Environments (WLPE 2012) ; Conference date: 08-09-2012",

}

A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs. / Demeyer, Romain ; Vanhoof, Wim.
Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012). 2012. p. 10-24.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

TY - GEN

T1 - A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs

AU - Demeyer, Romain

AU - Vanhoof, Wim

PY - 2012

Y1 - 2012

M3 - Conference contribution

SP - 10

EP - 24

BT - Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012)

T2 - 22nd Workshop on Logic-based Programming Environments (WLPE 2012)

Y2 - 8 September 2012

ER -

A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs

Colloque

Projets

Program Analysis to Support Concurrent Programming in Functional Languages

Contient cette citation