Research output per year
Research output per year
Search results
-
2013
Verification of Transactions in STM Haskell using Contracts and Program Transformation
Demeyer, R. & Vanhoof, W., 2013, p. 47-51.Research output: Contribution to conference › Abstract › peer-review
-
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-24Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
Verifying the Consistency of Transactional Variables in STM Haskell
Demeyer, R. & Vanhoof, W., 2012.Research output: Contribution to conference › Paper › peer-review
-
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).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution