Verification of Transactions in STM Haskell using Contracts and Program Transformation

Romain Demeyer; Wim Vanhoof

Verification of Transactions in STM Haskell using Contracts and Program Transformation

Faculte d'informatique

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

langue originale	Anglais
Pages	47-51
Etat de la publication	Publié - 2013
Evénement	5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013) - Roma, Italie Durée: 23 mars 2012 → …

Colloque

Colloque	5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013)
Pays/Territoire	Italie
La ville	Roma
période	23/03/12 → …

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

Contient cette citation

@conference{ad289bc1247d4291b06ab8945c413dec,

title = "Verification of Transactions in STM Haskell using Contracts and Program Transformation",

author = "Romain Demeyer and Wim Vanhoof",

year = "2013",

language = "English",

pages = "47--51",

note = "5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013) ; Conference date: 23-03-2012",

}

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

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

Verification of Transactions in STM Haskell using Contracts and Program Transformation

Colloque

Projets

Program Analysis to Support Concurrent Programming in Functional Languages

Contient cette citation