{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:14:59Z","timestamp":1729620899993,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cahpc.2002.1180763","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T15:35:00Z","timestamp":1056641700000},"page":"82-89","source":"Crossref","is-referenced-by-count":1,"title":["Implementing declarative parallel bottom-avoiding choice"],"prefix":"10.1109","author":[{"given":"A.","family":"Rauber Du Bois","sequence":"first","affiliation":[]},{"given":"R.","family":"Pointon","sequence":"additional","affiliation":[]},{"given":"H.-W.","family":"Loidl","sequence":"additional","affiliation":[]},{"given":"P.","family":"Trinder","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10003-2_82"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9128(199910)11:12<701::AID-CPE443>3.0.CO;2-P"},{"journal-title":"An Effective Speculative Evaluation Technique for Parallel Supercombinator Graph Reduction","year":"1993","author":"mattson","key":"ref12"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/S0049-237X(08)72018-4","article-title":"A Basis for a Mathematical Theory of Computations.","author":"mccarthy","year":"1963","journal-title":"Computer Programming and Formal Systems"},{"journal-title":"Call-by-name Call-by-need and McCarthy's Amb","year":"1998","author":"moran","key":"ref14"},{"journal-title":"Speculative Evaluation in Parallel Implementations of Lazy Functional Languages","year":"1991","author":"partridge","key":"ref15"},{"key":"ref16","first-page":"295","author":"jones","year":"1996","journal-title":"In POPL'96 &#x2014; Symp on Principles of Programming Languages"},{"key":"ref17","first-page":"53","article-title":"The Design and Implementation of Glasgow distributed Haskell","author":"pointon","year":"2000","journal-title":"IFL'00 &#x2014; Intl Workshop on the Implementation of Functional Languages LNCS 2011"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45361-X_13"},{"key":"ref19","first-page":"505","article-title":"Referential Transparency, Definiteness and Unfoldability","volume":"27","author":"sndergaard","year":"1990","journal-title":"Acta Informatica"},{"journal-title":"Effective Runtime Management of Parallelism in a Functional Programming Context","year":"2002","author":"dermoudy","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/800068.802154"},{"key":"ref6","article-title":"Functional Programming &#x2014; Application and Implementation","author":"henderson","year":"1980","journal-title":"chapter Non-deterministic Primitives and Backtrack Problems"},{"key":"ref5","first-page":"50","article-title":"Programming Reactive Systems in Haskell","author":"finne","year":"1994","journal-title":"Glasgow Workshop on Functional Programming Workshops in Computing"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224191"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/800105.803420"},{"journal-title":"Speculative Concurrent Evaluation in a Lazy Functional Language","year":"1995","author":"checkland","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/31.3.243"},{"key":"ref9","first-page":"308","article-title":"Expressing and Reasoning about Nondeterministic Functional Programs","author":"hughes","year":"1989","journal-title":"Glasgow Workshop on Functional Programming"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/35.5.514"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001560"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002967"}],"event":{"name":"14th Symposium on Computer Architecture and High Performance Computing","acronym":"CAHPC-02","location":"Vitoria, Brazil"},"container-title":["14th Symposium on Computer Architecture and High Performance Computing, 2002. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8407\/26513\/01180763.pdf?arnumber=1180763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T22:46:22Z","timestamp":1497566782000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1180763\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cahpc.2002.1180763","relation":{},"subject":[]}}