{"id":"https://openalex.org/W2111961318","doi":"https://doi.org/10.1109/cahpc.2002.1180763","title":"Implementing declarative parallel bottom-avoiding choice","display_name":"Implementing declarative parallel bottom-avoiding choice","publication_year":2003,"publication_date":"2003-06-26","ids":{"openalex":"https://openalex.org/W2111961318","doi":"https://doi.org/10.1109/cahpc.2002.1180763","mag":"2111961318"},"language":"en","primary_location":{"id":"doi:10.1109/cahpc.2002.1180763","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cahpc.2002.1180763","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"14th Symposium on Computer Architecture and High Performance Computing, 2002. Proceedings.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039149327","display_name":"Andr\u00e9 Rauber Du Bois","orcid":"https://orcid.org/0000-0002-6790-5184"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"A. Rauber Du Bois","raw_affiliation_strings":["Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, UK","Dept. of Comput. & Electr. Eng., Heriot-Watt Univ., UK"],"affiliations":[{"raw_affiliation_string":"Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, UK","institution_ids":["https://openalex.org/I32062511"]},{"raw_affiliation_string":"Dept. of Comput. & Electr. Eng., Heriot-Watt Univ., UK","institution_ids":["https://openalex.org/I32062511"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038887059","display_name":"Robert F. Pointon","orcid":null},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"R. Pointon","raw_affiliation_strings":["Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, UK","Dept. of Comput. & Electr. Eng., Heriot-Watt Univ., UK"],"affiliations":[{"raw_affiliation_string":"Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, UK","institution_ids":["https://openalex.org/I32062511"]},{"raw_affiliation_string":"Dept. of Comput. & Electr. Eng., Heriot-Watt Univ., UK","institution_ids":["https://openalex.org/I32062511"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112873225","display_name":"Hans Loidl","orcid":null},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"H.-W. Loidl","raw_affiliation_strings":["Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, UK","Dept. of Comput. & Electr. Eng., Heriot-Watt Univ., UK"],"affiliations":[{"raw_affiliation_string":"Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, UK","institution_ids":["https://openalex.org/I32062511"]},{"raw_affiliation_string":"Dept. of Comput. & Electr. Eng., Heriot-Watt Univ., UK","institution_ids":["https://openalex.org/I32062511"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047010988","display_name":"Phil Trinder","orcid":"https://orcid.org/0000-0003-0190-7010"},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"P. Trinder","raw_affiliation_strings":["Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, UK","Dept. of Comput. & Electr. Eng., Heriot-Watt Univ., UK"],"affiliations":[{"raw_affiliation_string":"Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, UK","institution_ids":["https://openalex.org/I32062511"]},{"raw_affiliation_string":"Dept. of Comput. & Electr. Eng., Heriot-Watt Univ., UK","institution_ids":["https://openalex.org/I32062511"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5039149327"],"corresponding_institution_ids":["https://openalex.org/I32062511"],"apc_list":null,"apc_paid":null,"fwci":0.742,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.7262528,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"27","issue":null,"first_page":"82","last_page":"89"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8740181922912598},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6315796375274658},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.5497737526893616},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5217053294181824},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5148348212242126},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4342026114463806},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.42895954847335815},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41811975836753845},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.22774261236190796}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8740181922912598},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6315796375274658},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.5497737526893616},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5217053294181824},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5148348212242126},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4342026114463806},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.42895954847335815},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41811975836753845},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.22774261236190796}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/cahpc.2002.1180763","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cahpc.2002.1180763","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"14th Symposium on Computer Architecture and High Performance Computing, 2002. Proceedings.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.10.9298","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.9298","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.macs.hw.ac.uk/~dsg/gph/papers/ps/pad02.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.11.5670","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.5670","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.macs.hw.ac.uk/~trinder/papers/spec.ps","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4399999976158142,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W294941679","https://openalex.org/W950024042","https://openalex.org/W1483474820","https://openalex.org/W1495397611","https://openalex.org/W1525424259","https://openalex.org/W1527809250","https://openalex.org/W1550482136","https://openalex.org/W1588297277","https://openalex.org/W1592922501","https://openalex.org/W1658165555","https://openalex.org/W1965996801","https://openalex.org/W1990195720","https://openalex.org/W1994718367","https://openalex.org/W2010331618","https://openalex.org/W2011324058","https://openalex.org/W2067005178","https://openalex.org/W2080153332","https://openalex.org/W2134078973","https://openalex.org/W2166089338","https://openalex.org/W2295914203","https://openalex.org/W2296715995","https://openalex.org/W4214538532","https://openalex.org/W4285719527","https://openalex.org/W6631554527","https://openalex.org/W6635337905","https://openalex.org/W6635507131"],"related_works":["https://openalex.org/W2801835562","https://openalex.org/W196828063","https://openalex.org/W4247743232","https://openalex.org/W4238447024","https://openalex.org/W1602185604","https://openalex.org/W2911281194","https://openalex.org/W173120711","https://openalex.org/W1488646450","https://openalex.org/W1984438291","https://openalex.org/W1965724121"],"abstract_inverted_index":{"Non-deterministic":[0],"choice":[1,32,70,82,113],"supports":[2],"efficient":[3],"parallel":[4,50,74,137],"speculation,":[5],"but":[6],"unrestricted":[7],"non-determinism":[8],"destroys":[9],"the":[10,22,59,103,136,140],"referential":[11],"transparency":[12],"of":[13,24,65,68,80,98,105,111,139],"purely-declarative":[14],"languages":[15],"by":[16,117,134,152],"removing":[17],"unfoldability":[18],"and":[19,40,63,102,121,126,145,156],"it":[20],"bears":[21],"danger":[23],"wasting":[25],"resources":[26],"on":[27],"unnecessary":[28],"computations.":[29],"While":[30],"numerous":[31],"mechanisms":[33],"have":[34],"been":[35,54],"proposed":[36],"that":[37,47],"preserve":[38],"unfoldability,":[39],"some":[41],"concurrent":[42],"implementations":[43],"exist,":[44],"we":[45],"believe":[46],"no":[48],"compiled":[49],"implementation":[51,62],"has":[52],"previously":[53],"constructed":[55],"This":[56],"paper":[57],"presents":[58],"design,":[60],"semantics,":[61],"use":[64],"a":[66,87,96,119,124,127],"family":[67],"bottom-avoiding":[69],"operators":[71,114],"for":[72],"Glasgow":[73],"Haskell.":[75],"The":[76,109],"subtle":[77],"semantic":[78],"properties":[79],"our":[81,112],"operations":[83],"are":[84],"described,":[85],"including":[86],"careful":[88],"classification":[89],"using":[90],"an":[91],"existing":[92],"framework,":[93],"together":[94],"with":[95,143],"discussion":[97],"operational":[99],"semantics":[100],"issues":[101],"pragmatics":[104],"distributed":[106],"memory":[107],"implementation.":[108],"expressiveness":[110],"is":[115,132,150],"demonstrated":[116,133],"constructing":[118],"branch":[120],"bound":[122],"search,":[123],"merge":[125],"speculative":[128,141],"conditional.":[129],"Their":[130,148],"effectiveness":[131],"comparing":[135],"performance":[138],"search":[142],"naive":[144],"'perfect'":[146],"implementations.":[147],"efficiency":[149],"assessed":[151],"measuring":[153],"runtime":[154],"overhead":[155],"heap":[157],"consumption.":[158]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}