A verification technique for deterministic parallel programs: Invited abstract

Research output: Chapter in Book/Report/Conference proceedingConference contribution

LanguageEnglish
Title of host publicationProceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017
EditorsWim Vanhoof, Brigitte Pientka
PublisherACM/Sheridan
Pages3
Number of pages1
ISBN (Print)978-1-4503-5291-8
DOIs
StatePublished - 2017
Event19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017) - Namur, Belgium
Duration: 9 Oct 201711 Oct 2017

Conference

Conference19th International Conference on Principles and Practice of Declarative Programming (PPDP 2017)
Abbreviated titlePPDP 2017
CountryBelgium
CityNamur
Period9/10/1711/10/17

Cite this

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 (pp. 3). ACM/Sheridan. DOI: 10.1145/3131851.3131852
Huisman, Marieke. / A verification technique for deterministic parallel programs : Invited abstract. Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. editor / Wim Vanhoof ; Brigitte Pientka. ACM/Sheridan, 2017. pp. 3
@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",

}

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. DOI: 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 proceedingConference contribution

TY - GEN

T1 - A verification technique for deterministic parallel programs

T2 - Invited abstract

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

PB - ACM/Sheridan

ER -

Huisman M. A verification technique for deterministic parallel programs: Invited abstract. In Vanhoof W, Pientka B, editors, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. ACM/Sheridan. 2017. p. 3. Available from, DOI: 10.1145/3131851.3131852