Verifying the Consistency of Transactional Variables in STM Haskell

Romain Demeyer, Wim Vanhoof

Faculty of Computer Science

Research output: Contribution to conference › Paper › peer-review

1 results

Filter

Active

Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. & Vanhoof, W.
15/12/09 → …
Project: PHD