Verification of Transactions in STM Haskell using Contracts and Program Transformation

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.
Demeyer, Romain ; Vanhoof, Wim. / Verification of Transactions in STM Haskell using Contracts and Program Transformation. Abstract from 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013), Roma, Italy.
@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",

}

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

Verification of Transactions in STM Haskell using Contracts and Program Transformation. / Demeyer, Romain; Vanhoof, Wim.

2013. 47-51 Abstract from 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013), Roma, Italy.

Research output: Contribution to conferenceAbstract

TY - CONF

T1 - Verification of Transactions in STM Haskell using Contracts and Program Transformation

AU - Demeyer, Romain

AU - Vanhoof, Wim

PY - 2013

Y1 - 2013

M3 - Abstract

SP - 47

EP - 51

ER -

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