A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012)
Pages	10-24
Publication status	Published - 2012
Event	22nd Workshop on Logic-based Programming Environments (WLPE 2012) - Budapest, Hungary Duration: 8 Sept 2012 → …

Symposium	22nd Workshop on Logic-based Programming Environments (WLPE 2012)
Country/Territory	Hungary
City	Budapest
Period	8/09/12 → …

Cite this

@inproceedings{df16b321f1e9476ab24e5a7743d32fa5,

title = "A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs",

author = "Romain Demeyer and Wim Vanhoof",

year = "2012",

language = "English",

pages = "10--24",

booktitle = "Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012)",

note = "22nd Workshop on Logic-based Programming Environments (WLPE 2012) ; Conference date: 08-09-2012",

}

TY - GEN

T1 - A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs

AU - Demeyer, Romain

AU - Vanhoof, Wim

PY - 2012

Y1 - 2012

M3 - Conference contribution

SP - 10

EP - 24

BT - Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012)

T2 - 22nd Workshop on Logic-based Programming Environments (WLPE 2012)

Y2 - 8 September 2012

ER -