Verification of Transactions in STM Haskell using Contracts and Program Transformation

Romain Demeyer, Wim Vanhoof

Faculty of Computer Science

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

1 Active

1 results

Filter

Active

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