Program Analysis to Support Concurrent Programming in Functional Languages

Project: PHD

Status	Active
Effective start/end date	15/12/09 → …

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
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-24
Research 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

Project Details