@Inproceedings{EPTCS137.10, author = {Demeyer, Romain and Vanhoof, Wim}, year = {2013}, title = {Static Application-Level Race Detection in STM Haskell using Contracts}, editor = {Yoshida, Nobuko and Vanderbauwhede, Wim}, booktitle = {{\rm Proceedings 5th Workshop on} Programming Language Approaches to Concurrency and Communication-cEntric Software, {\rm Rome, Italy, 23rd March 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {137}, publisher = {Open Publishing Association}, pages = {115-134}, doi = {10.4204/EPTCS.137.10}, }