Verification of Transactions in STM Haskell using Contracts and Program Transformation

Romain Demeyer, Wim Vanhoof

Résultats de recherche: Contribution à un événement scientifique (non publié)Résumé

langue originaleAnglais
Pages47-51
Etat de la publicationPublié - 2013
Evénement5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013) - Roma, Italie
Durée: 23 mars 2012 → …

Colloque

Colloque5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013)
PaysItalie
La villeRoma
période23/03/12 → …

Projets

Contient cette citation

Demeyer, R., & Vanhoof, W. (2013). Verification of Transactions in STM Haskell using Contracts and Program Transformation. 47-51. Résumé de 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013), Roma, Italie.