{"id":"https://openalex.org/W4406230619","doi":"https://doi.org/10.1145/3704861","title":"Algebras for Deterministic Computation Are Inherently Incomplete","display_name":"Algebras for Deterministic Computation Are Inherently Incomplete","publication_year":2025,"publication_date":"2025-01-07","ids":{"openalex":"https://openalex.org/W4406230619","doi":"https://doi.org/10.1145/3704861"},"language":"en","primary_location":{"id":"doi:10.1145/3704861","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704861","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3704861","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080220262","display_name":"Balder ten Cate","orcid":"https://orcid.org/0000-0002-2538-5846"},"institutions":[{"id":"https://openalex.org/I4210135670","display_name":"Amsterdam University of the Arts","ror":"https://ror.org/04dde1554","country_code":"NL","type":"education","lineage":["https://openalex.org/I4210135670"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Balder ten Cate","raw_affiliation_strings":["University of Amsterdam, Amsterdam, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-2538-5846","affiliations":[{"raw_affiliation_string":"University of Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I4210135670","https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063583108","display_name":"Tobias Kapp\u00e9","orcid":"https://orcid.org/0000-0002-6068-880X"},"institutions":[{"id":"https://openalex.org/I121797337","display_name":"Leiden University","ror":"https://ror.org/027bh9e22","country_code":"NL","type":"education","lineage":["https://openalex.org/I121797337"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Tobias Kapp\u00e9","raw_affiliation_strings":["Leiden University, Leiden, Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-6068-880X","affiliations":[{"raw_affiliation_string":"Leiden University, Leiden, Netherlands","institution_ids":["https://openalex.org/I121797337"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2064,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.90911859,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"9","issue":"POPL","first_page":"718","last_page":"744"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6910925507545471},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6331586837768555},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.6072497367858887},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5196577310562134},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.47821661829948425},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.47820496559143066},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4703258275985718},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44950875639915466},{"id":"https://openalex.org/keywords/flow","display_name":"Flow (mathematics)","score":0.4360229969024658},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.4116043746471405},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.4103574752807617},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3926602005958557},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.388620525598526},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3544972240924835},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3487324118614197},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.12113401293754578},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07786396145820618}],"concepts":[{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6910925507545471},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6331586837768555},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.6072497367858887},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5196577310562134},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.47821661829948425},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.47820496559143066},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4703258275985718},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44950875639915466},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.4360229969024658},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.4116043746471405},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.4103574752807617},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3926602005958557},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.388620525598526},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3544972240924835},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3487324118614197},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.12113401293754578},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07786396145820618},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3704861","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704861","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/83038de9-6e0d-4ea8-b048-399718dd8986","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/algebras-for-deterministic-computation-are-inherently-incomplete(83038de9-6e0d-4ea8-b048-399718dd8986).html","pdf_url":"https://pure.uva.nl/ws/files/238009455/3704861-1.pdf","source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ten Cate, B & Kapp\u00e9, T 2025, 'Algebras for Deterministic Computation Are Inherently Incomplete', Proceedings of the ACM on Programming Languages, vol. 9, no. POPL, 25, pp. 718-744. https://doi.org/10.1145/3704861","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1145/3704861","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704861","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2738818759","display_name":null,"funder_award_id":"VI.Veni.232.286","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G5563793442","display_name":"Logic and Learning: an Algebra and Finite-Model-Theory Approach","funder_award_id":"101031081","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7807684096","display_name":"Verification and Language Theory","funder_award_id":"101027412","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W123744388","https://openalex.org/W164550212","https://openalex.org/W1512204044","https://openalex.org/W1560923948","https://openalex.org/W1570445666","https://openalex.org/W1574223981","https://openalex.org/W1975315464","https://openalex.org/W1998368317","https://openalex.org/W2016313399","https://openalex.org/W2019738397","https://openalex.org/W2057837530","https://openalex.org/W2068047345","https://openalex.org/W2069709605","https://openalex.org/W2079430385","https://openalex.org/W2094985106","https://openalex.org/W2097145414","https://openalex.org/W2102075452","https://openalex.org/W2102823559","https://openalex.org/W2117065635","https://openalex.org/W2130210899","https://openalex.org/W2130618976","https://openalex.org/W2156429182","https://openalex.org/W2169869634","https://openalex.org/W2295673914","https://openalex.org/W2397943636","https://openalex.org/W2995123640","https://openalex.org/W3022119532","https://openalex.org/W3123988290","https://openalex.org/W3130416166","https://openalex.org/W4289833876","https://openalex.org/W4366077131","https://openalex.org/W4375959292","https://openalex.org/W4388685118","https://openalex.org/W4404648924","https://openalex.org/W6606705315"],"related_works":["https://openalex.org/W4281261571","https://openalex.org/W4251237796","https://openalex.org/W2535494882","https://openalex.org/W4387024110","https://openalex.org/W2098353690","https://openalex.org/W209703074","https://openalex.org/W2049401516","https://openalex.org/W2768251629","https://openalex.org/W4297673097","https://openalex.org/W2039812977"],"abstract_inverted_index":{"Kleene":[0],"Algebra":[1],"with":[2],"Tests":[3],"(KAT)":[4],"provides":[5],"an":[6],"elegant":[7],"algebraic":[8],"framework":[9],"for":[10],"describing":[11],"non-deterministic":[12,21,25,35],"finite-state":[13],"computations.":[14],"Using":[15],"a":[16,41,54],"small":[17],"finite":[18,36,42,56,86],"set":[19,43,57,87],"of":[20,44,58,79,88,100],"programming":[22],"constructs":[23,59],"(sequencing,":[24],"choice,":[26],"and":[27,110],"iteration)":[28],"it":[29],"is":[30,47,70,81],"able":[31],"to":[32,49],"express":[33],"all":[34,63],"state":[37],"control":[38,90,103],"flow":[39,91,104],"over":[40],"primitives.":[45],"It":[46],"natural":[48],"ask":[50],"whether":[51],"there":[52],"exists":[53],"similar":[55],"that":[60,68],"can":[61],"capture":[62],"deterministic":[64,77],"computation.":[65],"We":[66],"show":[67],"this":[69],"not":[71,82],"the":[72,76,98,101],"case.":[73],"More":[74],"precisely,":[75],"fragment":[78],"KAT":[80],"generated":[83],"by":[84],"any":[85],"regular":[89],"operations.":[92],"This":[93],"generalizes":[94],"earlier":[95],"results":[96],"about":[97],"expressivity":[99],"traditional":[102],"operations,":[105],"i.e.,":[106],"sequential":[107],"composition,":[108],"if-then-else":[109],"while.":[111]},"counts_by_year":[{"year":2025,"cited_by_count":3}],"updated_date":"2026-06-16T09:24:06.705377","created_date":"2025-10-10T00:00:00"}