Verifying the Consistency of Transactional Variables in STM Haskell

Romain Demeyer, Wim Vanhoof

Faculte d'informatique

Résultats de recherche: Contribution à un événement scientifique (non publié) › Article › Revue par des pairs

1 résultats

Filtrer

Actif

Program Analysis to Support Concurrent Programming in Functional Languages
DEMEYER, R. & Vanhoof, W.
15/12/09 → …
Projet: Projet de thèse