{"id":"https://openalex.org/W2623138158","doi":"https://doi.org/10.1017/s1471068417000059","title":"Lock-free atom garbage collection for multithreaded Prolog - ERRATUM","display_name":"Lock-free atom garbage collection for multithreaded Prolog - ERRATUM","publication_year":2017,"publication_date":"2017-06-09","ids":{"openalex":"https://openalex.org/W2623138158","doi":"https://doi.org/10.1017/s1471068417000059","mag":"2623138158"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068417000059","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068417000059","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/FC7CF36AEDA830F19C79630F1389637E/S1471068417000059a.pdf/div-class-title-lock-free-atom-garbage-collection-for-multithreaded-prolog-erratum-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"erratum","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/FC7CF36AEDA830F19C79630F1389637E/S1471068417000059a.pdf/div-class-title-lock-free-atom-garbage-collection-for-multithreaded-prolog-erratum-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052365388","display_name":"Jan Wielemaker","orcid":"https://orcid.org/0000-0001-5574-5673"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"JAN WIELEMAKER","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5010953533","display_name":"Keri Harris","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"KERI HARRIS","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5052365388"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08153078,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"1","first_page":"120","last_page":"120"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9868000149726868,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9868000149726868,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9861000180244446,"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"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9750999808311462,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/thread","display_name":"Thread (computing)","score":0.8536145091056824},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8042634725570679},{"id":"https://openalex.org/keywords/table","display_name":"Table (database)","score":0.5925765633583069},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5817317366600037},{"id":"https://openalex.org/keywords/garbage-collection","display_name":"Garbage collection","score":0.4731139838695526},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.44922155141830444},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.4124421179294586},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.38498395681381226},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3379710614681244},{"id":"https://openalex.org/keywords/garbage","display_name":"Garbage","score":0.24236562848091125},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.22330361604690552},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1000528335571289}],"concepts":[{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.8536145091056824},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8042634725570679},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.5925765633583069},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5817317366600037},{"id":"https://openalex.org/C105122174","wikidata":"https://www.wikidata.org/wiki/Q322202","display_name":"Garbage collection","level":3,"score":0.4731139838695526},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.44922155141830444},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.4124421179294586},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.38498395681381226},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3379710614681244},{"id":"https://openalex.org/C75403996","wikidata":"https://www.wikidata.org/wiki/Q5521979","display_name":"Garbage","level":2,"score":0.24236562848091125},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.22330361604690552},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1000528335571289}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068417000059","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068417000059","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/FC7CF36AEDA830F19C79630F1389637E/S1471068417000059a.pdf/div-class-title-lock-free-atom-garbage-collection-for-multithreaded-prolog-erratum-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s1471068417000059","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068417000059","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/FC7CF36AEDA830F19C79630F1389637E/S1471068417000059a.pdf/div-class-title-lock-free-atom-garbage-collection-for-multithreaded-prolog-erratum-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2623138158.pdf","grobid_xml":"https://content.openalex.org/works/W2623138158.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W2488002180","https://openalex.org/W6722406841"],"related_works":["https://openalex.org/W2536863148","https://openalex.org/W2107806761","https://openalex.org/W2359563172","https://openalex.org/W2039069990","https://openalex.org/W2096662407","https://openalex.org/W4210431493","https://openalex.org/W3132999948","https://openalex.org/W190029137","https://openalex.org/W2023832055","https://openalex.org/W2082485924"],"abstract_inverted_index":{"Algorithm":[0],"4":[1],"on":[2],"page":[3],"960":[4],"of":[5],"the":[6,31,44,50,68,71,74,81,85,96,99,105,111],"above":[7],"named":[8],"article":[9],"(Wielemaker":[10],"and":[11,66,91],"Harris":[12],"2016)":[13],"is":[14,18,36,52,101,108],"flawed.":[15],"The":[16,60],"issue":[17],"illustrated":[19],"by":[20],"algorithm":[21],"1":[22],"(supplementary":[23],"figure":[24],"1).":[25],"If":[26,46,77],"a":[27,58,63],"thread":[28,47,78,93],"A":[29,79],"detects":[30,49],"condition":[32],"table":[33,51,65,98],"too":[34,54],"full":[35,55],"false":[37],"it":[38,56],"proceeds":[39],"adding":[40],"its":[41,89],"atom":[42,83,107],"to":[43,73],"table.":[45,76,114],"B":[48,94],"(now)":[53],"starts":[57],"resize.":[59],"resize":[61],"allocates":[62],"new":[64,75,82,97,106],"copies":[67],"atoms":[69],"from":[70],"old":[72,113],"adds":[80],"after":[84],"copy":[86],"loop":[87],"passes":[88],"location":[90],"before":[92],"activates":[95],"insertion":[100],"considered":[102],"successful,":[103],"but":[104],"only":[109],"in":[110],"deactivated":[112]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}