{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T03:15:58Z","timestamp":1649128558719},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Process. Lett."],"published-print":{"date-parts":[[1996,9]]},"abstract":"<jats:p> We define a proof system \u00e0 la Hoare for a common kernel of existing data-parallel languages. It includes conditioning constructs and non-local control transfers such as data-parallel break and continue. Assertions are usual predicates and manipulations of the extent of parallelism are translated into explicit assignments. Therefore, proofs reuse the classical assertional setting of sequential Hoare Logic. <\/jats:p>","DOI":"10.1142\/s012962649600039x","type":"journal-article","created":{"date-parts":[[2004,10,28]],"date-time":"2004-10-28T18:29:23Z","timestamp":1098988163000},"page":"415-426","source":"Crossref","is-referenced-by-count":3,"title":["SEQUENTIAL-LIKE PROOFS OF DATA-PARALLEL PROGRAMS"],"prefix":"10.1142","volume":"06","author":[{"given":"Y. LE","family":"GUYADEC","sequence":"first","affiliation":[{"name":"Laboratoire d\u2019Informatique Fondamentale d\u2019Orl\u00e9ans, Universit\u00e9 d\u2019Orl\u00e9ans, B.P. 6759, F-45067 Orl\u00e9ans c\u00e9dex 2, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"VIROT","sequence":"additional","affiliation":[{"name":"Laboratoire d\u2019Informatique Fondamentale d\u2019Orl\u00e9ans, Universit\u00e9 d\u2019Orl\u00e9ans, B.P. 6759, F-45067 Orl\u00e9ans c\u00e9dex 2, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["Parallel Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S012962649600039X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T16:18:37Z","timestamp":1565108317000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S012962649600039X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":0,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1996,9]]}},"alternative-id":["10.1142\/S012962649600039X"],"URL":"https:\/\/doi.org\/10.1142\/s012962649600039x","relation":{},"ISSN":["0129-6264","1793-642X"],"issn-type":[{"value":"0129-6264","type":"print"},{"value":"1793-642X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}