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
}
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 -