Résultat de recherche par an
Résultat de recherche par an
Résultats de recherche
-
2013
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
-
2012
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
-
2011
Proper Granularity for Atomic Sections in Concurrent Programs
Demeyer, R. & Vanhoof, W., 2011, Pre-Proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011).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