A verification technique for deterministic parallel programs: Invited abstract

Marieke Huisman

doi:10.1145/3131851.3131852

A verification technique for deterministic parallel programs: Invited abstract

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

14 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017
Editors	Wim Vanhoof, Brigitte Pientka
Publisher	ACM/Sheridan
Pages	3
Number of pages	1
ISBN (Print)	978-1-4503-5291-8
DOIs	https://doi.org/10.1145/3131851.3131852
Publication status	Published - 2017
Event	19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017) - Namur, Belgium Duration: 9 Oct 2017 → 11 Oct 2017

Conference

Conference	19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017)
Abbreviated title	PPDP 2017
Country/Territory	Belgium
City	Namur
Period	9/10/17 → 11/10/17

Access to Document

10.1145/3131851.3131852

http://doi.acm.org/10.1145/3131851.3131852

Cite this

@inproceedings{9389b71f709e4935a645a609539c46ac,

title = "A verification technique for deterministic parallel programs: Invited abstract",

author = "Marieke Huisman",

year = "2017",

doi = "10.1145/3131851.3131852",

language = "English",

isbn = "978-1-4503-5291-8",

pages = "3",

editor = "Wim Vanhoof and Brigitte Pientka",

booktitle = "Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017",

publisher = "ACM/Sheridan",

note = "19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017), PPDP 2017 ; Conference date: 09-10-2017 Through 11-10-2017",

}

Huisman, M 2017, A verification technique for deterministic parallel programs: Invited abstract. in W Vanhoof & B Pientka (eds), Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. ACM/Sheridan, pp. 3, 19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017), Namur, Belgium, 9/10/17. https://doi.org/10.1145/3131851.3131852

A verification technique for deterministic parallel programs: Invited abstract. / Huisman, Marieke.
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. ed. / Wim Vanhoof; Brigitte Pientka. ACM/Sheridan, 2017. p. 3.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - A verification technique for deterministic parallel programs

T2 - 19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017)

AU - Huisman, Marieke

PY - 2017

Y1 - 2017

U2 - 10.1145/3131851.3131852

DO - 10.1145/3131851.3131852

M3 - Conference contribution

SN - 978-1-4503-5291-8

SP - 3

BT - Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017

A2 - Vanhoof, Wim

A2 - Pientka, Brigitte

PB - ACM/Sheridan

Y2 - 9 October 2017 through 11 October 2017

ER -