Résultat de recherche par an
Résultat de recherche par an
Détails du projet
| statut | En cours d'exécution |
|---|---|
| Les dates de début/date réelle | 15/12/09 → … |
-
Verification of Transactions in STM Haskell using Contracts and Program Transformation
Demeyer, R. & Vanhoof, W., 2013, p. 47-51.Résultats de recherche: Contribution à un événement scientifique (non publié) › Résumé › Revue par des pairs
-
A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs
Demeyer, R. & Vanhoof, W., 2012, Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012). p. 10-24Ré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
-
Verifying the Consistency of Transactional Variables in STM Haskell
Demeyer, R. & Vanhoof, W., 2012.Résultats de recherche: Contribution à un événement scientifique (non publié) › Papier › Revue par des pairs