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

Faculty of Computer Science

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

Original language	English
Pages	47-51
Publication status	Published - 2013
Event	5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013) - Roma, Italy Duration: 23 Mar 2012 → …

Symposium

Symposium	5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013)
Country/Territory	Italy
City	Roma
Period	23/03/12 → …

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

Cite this

@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

Symposium

Projects

Program Analysis to Support Concurrent Programming in Functional Languages

Cite this