Verification of Transactions in STM Haskell using Contracts and Program Transformation

Romain Demeyer, Wim Vanhoof

Research output: Contribution to conferenceAbstract

Original languageEnglish
Pages47-51
Publication statusPublished - 2013
Event5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013) - Roma, Italy
Duration: 23 Mar 2012 → …

Symposium

Symposium5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013)
CountryItaly
CityRoma
Period23/03/12 → …

Cite this

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