{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:24Z","timestamp":1750221324587,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":3,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,9]],"date-time":"2017-10-09T00:00:00Z","timestamp":1507507200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,9]]},"DOI":"10.1145\/3131851.3131852","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"3-3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A verification technique for deterministic parallel programs"],"prefix":"10.1145","author":[{"given":"Marieke","family":"Huisman","sequence":"first","affiliation":[{"name":"University of Twente, Enschede, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2017,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Verification of Loop Parallelisations. In FASE 2015 (LNCS)","volume":"9033","author":"Blom S.C.C.","unstructured":"S.C.C. Blom , S. Darabi , and M. Huisman . 2015 . Verification of Loop Parallelisations. In FASE 2015 (LNCS) , Vol. 9033 . Springer, 202--217. S.C.C. Blom, S. Darabi, and M. Huisman. 2015. Verification of Loop Parallelisations. In FASE 2015 (LNCS), Vol. 9033. Springer, 202--217."},{"key":"e_1_3_2_1_2_1","volume-title":"NFM 2017 (LNCS)","volume":"10227","author":"Darabi S.","unstructured":"S. Darabi , S.C.C. Blom , and M. Huisman . 2017. A Verification Technique for Deterministic Parallel Programs . In NFM 2017 (LNCS) , Vol. 10227 . Springer, 247--264. S. Darabi, S.C.C. Blom, and M. Huisman. 2017. A Verification Technique for Deterministic Parallel Programs. In NFM 2017 (LNCS), Vol. 10227. Springer, 247--264."},{"key":"e_1_3_2_1_3_1","unstructured":"OpenMP Last accessed Aug. 29 2017. The OpenMP API Specification for Parallel Programming. http:\/\/openmp.org\/.  OpenMP Last accessed Aug. 29 2017. The OpenMP API Specification for Parallel Programming. http:\/\/openmp.org\/."}],"event":{"name":"PPDP'17: 19th International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP'17","location":"Namur Belgium"},"container-title":["Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3131851.3131852","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3131851.3131852","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:59Z","timestamp":1750212839000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3131851.3131852"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,9]]},"references-count":3,"alternative-id":["10.1145\/3131851.3131852","10.1145\/3131851"],"URL":"https:\/\/doi.org\/10.1145\/3131851.3131852","relation":{},"subject":[],"published":{"date-parts":[[2017,10,9]]},"assertion":[{"value":"2017-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}