| 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 | |
| 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 | Belgium |
| City | Namur |
| Period | 9/10/17 → 11/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. https://doi.org/10.1145/3131851.3131852
@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. 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 - 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
A2 - Vanhoof, Wim
A2 - Pientka, Brigitte
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 https://doi.org/10.1145/3131851.3131852