{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T02:49:41Z","timestamp":1778640581300,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,1,17]],"date-time":"2010-01-17T00:00:00Z","timestamp":1263686400000},"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":[[2010,1,17]]},"DOI":"10.1145\/1706299.1706339","type":"proceedings-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T15:15:04Z","timestamp":1263914104000},"page":"339-352","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Programming with angelic nondeterminism"],"prefix":"10.1145","author":[{"given":"Rastislav","family":"Bodik","sequence":"first","affiliation":[{"name":"Univerisity of California, Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satish","family":"Chandra","sequence":"additional","affiliation":[{"name":"IBM T.J. Watson Research Center, Yorktown Heights, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joel","family":"Galenson","sequence":"additional","affiliation":[{"name":"Univerisity of California, Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doug","family":"Kimelman","sequence":"additional","affiliation":[{"name":"IBM T.J. Watson Research Center, Yorktown Heights, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas","family":"Tung","sequence":"additional","affiliation":[{"name":"Univerisity of California, Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaon","family":"Barman","sequence":"additional","affiliation":[{"name":"Univerisity of California, Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Casey","family":"Rodarmor","sequence":"additional","affiliation":[{"name":"Univerisity of California, Berkeley, Berkeley, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,1,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Cambridge Un. Press","author":"Abrial J.-R.","year":"1996","unstructured":"J.-R. Abrial . The B Book : Assigning Programs to Meanings . Cambridge Un. Press , Aug. 1996 . J.-R. Abrial. The B Book: Assigning Programs to Meanings. Cambridge Un. Press, Aug. 1996."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_5"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2820"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/956416.956537"},{"key":"e_1_3_2_1_5_1","volume-title":"Model Checking","author":"Clarke E.M.","year":"1999","unstructured":"E.M. Clarke , O. Grumberg , and D.A. Peled . Model Checking . The MIT Press , Cambridge, Massachusetts , 1999 . E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999."},{"key":"e_1_3_2_1_6_1","volume-title":"A Discipline of Programming","author":"Dijkstra E.W.","year":"1997","unstructured":"E.W. Dijkstra . A Discipline of Programming . Prentice Hall PTR , Upper Saddle River, NJ, USA, 1997 . E.W. Dijkstra. A Discipline of Programming. Prentice Hall PTR, Upper Saddle River, NJ, USA, 1997."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/321420.321422"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101815.1101819"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/945645.945654"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/359619.359629"},{"key":"e_1_3_2_1_11_1","volume-title":"Programming from Specifications","author":"Morgan C.","year":"1998","unstructured":"C. Morgan . Programming from Specifications . 1998 . C. Morgan. Programming from Specifications. 1998."},{"key":"e_1_3_2_1_12_1","volume-title":"On the Refinement Calculus","author":"Morgan C.","year":"1992","unstructured":"C. Morgan and T. Vickers , editors . On the Refinement Calculus . Springer-Verlag , London , 1992 . C. Morgan and T. Vickers, editors. On the Refinement Calculus. Springer-Verlag, London, 1992."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.32.0114"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/363534.363554"},{"key":"e_1_3_2_1_16_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-36103-0_14","volume-title":"Formal Methods and Software Engineering","author":"Smith G.","year":"2002","unstructured":"G. Smith and J. Derrick . Abstract specification in object-Z and CSP . In C. George and H. Miao, editors, Formal Methods and Software Engineering , volume 2495 of Lecture Notes in Computer Science , pages 108 -- 119 . Springer , Nov. 2002 . G. Smith and J. Derrick. Abstract specification in object-Z and CSP. In C. George and H. Miao, editors, Formal Methods and Software Engineering, volume 2495 of Lecture Notes in Computer Science, pages 108--119. Springer, Nov. 2002."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250754"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168917.1168907"},{"key":"e_1_3_2_1_19_1","volume-title":"Cambridge Un","author":"Spivey J.M.","year":"1988","unstructured":"J.M. Spivey . Understanding Z : a specification language and its formal semantics . Cambridge Un . Press, New York, NY, USA , 1988 . J.M. Spivey. Understanding Z: a specification language and its formal semantics. Cambridge Un. Press, New York, NY, USA, 1988."},{"key":"e_1_3_2_1_20_1","first-page":"391","volume-title":"Proc. 6th Australian Software Engineering Conference (ASWEC91)","author":"Ward N.","year":"1991","unstructured":"N. Ward and I.J. Hayes . Applications of angelic nondeterminism. In P.A. Bailes, editor , Proc. 6th Australian Software Engineering Conference (ASWEC91) , pages 391 -- 404 . Australian Computer Society, JUL 1991 . N. Ward and I.J. Hayes. Applications of angelic nondeterminism. In P.A. Bailes, editor, Proc. 6th Australian Software Engineering Conference (ASWEC91), pages 391--404. Australian Computer Society, JUL 1991."}],"event":{"name":"POPL '10: The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Madrid Spain","acronym":"POPL '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1706299.1706339","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1706299.1706339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:26:19Z","timestamp":1750263979000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1706299.1706339"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,17]]},"references-count":19,"alternative-id":["10.1145\/1706299.1706339","10.1145\/1706299"],"URL":"https:\/\/doi.org\/10.1145\/1706299.1706339","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1707801.1706339","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,1,17]]},"assertion":[{"value":"2010-01-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}