Proper Granularity for Atomic Sections in Concurrent Programs

Romain Demeyer; Wim Vanhoof

Proper Granularity for Atomic Sections in Concurrent Programs

Faculty of Computer Science

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

Original language	English
Title of host publication	Pre-Proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
Publication status	Published - 2011
Event	21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011) - Odense, Denmark Duration: 18 Jul 2011 → 20 Jul 2011

Symposium

Symposium	21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
Country/Territory	Denmark
City	Odense
Period	18/07/11 → 20/07/11

1 Active

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

Cite this

@inproceedings{37c1189e56ec40458c688dd3894b737f,

title = "Proper Granularity for Atomic Sections in Concurrent Programs",

author = "Romain Demeyer and Wim Vanhoof",

year = "2011",

language = "English",

booktitle = "Pre-Proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)",

note = "21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011) ; Conference date: 18-07-2011 Through 20-07-2011",

}

TY - GEN

T1 - Proper Granularity for Atomic Sections in Concurrent Programs

AU - Demeyer, Romain

AU - Vanhoof, Wim

PY - 2011

Y1 - 2011

M3 - Conference contribution

BT - Pre-Proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)

T2 - 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)

Y2 - 18 July 2011 through 20 July 2011

ER -

Proper Granularity for Atomic Sections in Concurrent Programs

Symposium

Projects

Program Analysis to Support Concurrent Programming in Functional Languages

Cite this