{"id":"https://openalex.org/W2124067458","doi":"https://doi.org/10.1007/s00224-010-9301-8","title":"On the Expressiveness of Single-Pass Instruction Sequences","display_name":"On the Expressiveness of Single-Pass Instruction Sequences","publication_year":2010,"publication_date":"2010-11-10","ids":{"openalex":"https://openalex.org/W2124067458","doi":"https://doi.org/10.1007/s00224-010-9301-8","mag":"2124067458"},"language":"en","primary_location":{"id":"doi:10.1007/s00224-010-9301-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-010-9301-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-010-9301-8.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00224-010-9301-8.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032380170","display_name":"J.A. Bergstra","orcid":"https://orcid.org/0000-0003-2492-506X"},"institutions":[{"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":true,"raw_author_name":"J. A. Bergstra","raw_affiliation_strings":["Informatics Institute, Faculty of Science, University of Amsterdam, Science Park 904, 1098 XH, Amsterdam, The Netherlands","University of Amsterdam, Informatics Institute, Faculty of Science, Science Park 904, 1098 XH, Amsterdam, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Informatics Institute, Faculty of Science, University of Amsterdam, Science Park 904, 1098 XH, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"University of Amsterdam, Informatics Institute, Faculty of Science, Science Park 904, 1098 XH, Amsterdam, The Netherlands#TAB#","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000183100","display_name":"C.A. Middelburg","orcid":"https://orcid.org/0000-0002-8725-0197"},"institutions":[{"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":"C. A. Middelburg","raw_affiliation_strings":["Informatics Institute, Faculty of Science, University of Amsterdam, Science Park 904, 1098 XH, Amsterdam, The Netherlands","University of Amsterdam, Informatics Institute, Faculty of Science, Science Park 904, 1098 XH, Amsterdam, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Informatics Institute, Faculty of Science, University of Amsterdam, Science Park 904, 1098 XH, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"University of Amsterdam, Informatics Institute, Faculty of Science, Science Park 904, 1098 XH, Amsterdam, The Netherlands#TAB#","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5032380170"],"corresponding_institution_ids":["https://openalex.org/I887064364"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":2.0507,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.87164786,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"50","issue":"2","first_page":"313","last_page":"328"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9973999857902527,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9973999857902527,"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/T11567","display_name":"semigroups and automata theory","score":0.9947999715805054,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.994700014591217,"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.7342010736465454},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.6754934787750244},{"id":"https://openalex.org/keywords/jump","display_name":"Jump","score":0.6216131448745728},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5026421546936035},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.49667078256607056},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.43828386068344116},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23745882511138916},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20057082176208496}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7342010736465454},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6754934787750244},{"id":"https://openalex.org/C2780695682","wikidata":"https://www.wikidata.org/wiki/Q4005959","display_name":"Jump","level":2,"score":0.6216131448745728},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5026421546936035},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.49667078256607056},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.43828386068344116},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23745882511138916},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20057082176208496},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":10,"locations":[{"id":"doi:10.1007/s00224-010-9301-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-010-9301-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-010-9301-8.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/0bed1e1c-bfcb-48d9-9534-abb676a18828","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/on-the-expressiveness-of-singlepass-instruction-sequences(0bed1e1c-bfcb-48d9-9534-abb676a18828).html","pdf_url":null,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Bergstra, J A & Middelburg, C A 2012, 'On the expressiveness of single-pass instruction sequences', Theory of Computing Systems, vol. 50, no. 2, pp. 313-328. https://doi.org/10.1007/s00224-010-9301-8","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:arXiv.org:0810.1106","is_oa":true,"landing_page_url":"http://arxiv.org/abs/0810.1106","pdf_url":"https://arxiv.org/pdf/0810.1106","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:dare.uva.nl:openaire/0bed1e1c-bfcb-48d9-9534-abb676a18828","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/on-the-expressiveness-of-singlepass-instruction-sequences(0bed1e1c-bfcb-48d9-9534-abb676a18828).html","pdf_url":"https://pure.uva.nl/ws/files/1412630/107748_360893.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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bergstra, J A & Middelburg, C A 2012, 'On the expressiveness of single-pass instruction sequences', Theory of Computing Systems, vol. 50, no. 2, pp. 313-328. https://doi.org/10.1007/s00224-010-9301-8","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/c0204df4-b8c0-42aa-aafd-69b776a2aa09","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/on-the-expressiveness-of-singlepass-instruction-sequences(c0204df4-b8c0-42aa-aafd-69b776a2aa09).html","pdf_url":"https://dare.uva.nl/personal/pure/en/publications/on-the-expressiveness-of-singlepass-instruction-sequences(c0204df4-b8c0-42aa-aafd-69b776a2aa09).html","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.243.4536","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.243.4536","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/0810.1106v2.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.243.6931","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.243.6931","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/0810.1106v1.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.243.9766","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.243.9766","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/0810.1106v3.pdf","raw_type":"text"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/c0204df4-b8c0-42aa-aafd-69b776a2aa09","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/on-the-expressiveness-of-singlepass-instruction-sequences(c0204df4-b8c0-42aa-aafd-69b776a2aa09).html","pdf_url":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bergstra, J A & Middelburg, C A 2009, On the expressiveness of single-pass instruction sequences. Ithaca, NY. < http://arxiv.org/abs/0810.1106 >","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:oai:dare.uva.nl:publications/0bed1e1c-bfcb-48d9-9534-abb676a18828","is_oa":false,"landing_page_url":"http://dare.uva.nl/personal/pure/en/publications/on-the-expressiveness-of-singlepass-instruction-sequences(0bed1e1c-bfcb-48d9-9534-abb676a18828).html","pdf_url":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1007/s00224-010-9301-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-010-9301-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-010-9301-8.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.6100000143051147}],"awards":[{"id":"https://openalex.org/G629491556","display_name":null,"funder_award_id":"(NWO)","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321008","display_name":"Universiteit van Amsterdam","ror":"https://ror.org/04dkp9463"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2124067458.pdf","grobid_xml":"https://content.openalex.org/works/W2124067458.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W173344079","https://openalex.org/W1484095934","https://openalex.org/W1486594037","https://openalex.org/W1541121233","https://openalex.org/W1555778842","https://openalex.org/W1575323533","https://openalex.org/W1598539204","https://openalex.org/W1645602907","https://openalex.org/W1938144528","https://openalex.org/W1965166449","https://openalex.org/W1965715676","https://openalex.org/W1976217110","https://openalex.org/W1976575875","https://openalex.org/W1998368317","https://openalex.org/W2010626618","https://openalex.org/W2037573407","https://openalex.org/W2063647017","https://openalex.org/W2068842094","https://openalex.org/W2085294798","https://openalex.org/W2092768095","https://openalex.org/W2103065543","https://openalex.org/W2113741510","https://openalex.org/W2119689913","https://openalex.org/W2123007131","https://openalex.org/W2130071582","https://openalex.org/W2136428562","https://openalex.org/W2149366752","https://openalex.org/W2149647633","https://openalex.org/W2151878555","https://openalex.org/W2155938435","https://openalex.org/W2157772625","https://openalex.org/W2163152086","https://openalex.org/W2165072244","https://openalex.org/W2167300551","https://openalex.org/W2171380900","https://openalex.org/W2807948224","https://openalex.org/W3104797173","https://openalex.org/W4239416317","https://openalex.org/W4285719527","https://openalex.org/W4301906759"],"related_works":["https://openalex.org/W2033778626","https://openalex.org/W2187110187","https://openalex.org/W2351666715","https://openalex.org/W2026780467","https://openalex.org/W1967543778","https://openalex.org/W2757332726","https://openalex.org/W2382902960","https://openalex.org/W2018697868","https://openalex.org/W2023832055","https://openalex.org/W2082485924"],"abstract_inverted_index":{"We":[0,36,72],"perceive":[1],"programs":[2],"as":[3,27],"single-pass":[4,8,58],"instruction":[5,9,59],"sequences.":[6],"A":[7],"sequence":[10],"under":[11],"execution":[12,24],"is":[13],"considered":[14,28],"to":[15,19,90],"produce":[16],"a":[17,49,88],"behaviour":[18],"be":[20,47,55,67],"controlled":[21],"by":[22,57],"some":[23],"environment.":[25],"Threads":[26],"in":[29,48,76],"basic":[30],"thread":[31],"algebra":[32],"model":[33],"such":[34],"behaviours.":[35],"show":[37,74],"that":[38,44],"all":[39],"regular":[40],"threads,":[41],"i.e.":[42],"threads":[43],"can":[45,54,66],"only":[46],"finite":[50],"number":[51,92],"of":[52,69,85,93],"states,":[53],"produced":[56],"sequences":[60],"without":[61],"jump":[62,86],"instructions":[63,81],"if":[64],"use":[65],"made":[68],"Boolean":[70],"registers.":[71],"also":[73],"that,":[75],"the":[77,91,96],"case":[78],"where":[79],"goto":[80],"are":[82],"used":[83],"instead":[84],"instructions,":[87],"bound":[89],"labels":[94],"restricts":[95],"expressiveness.":[97]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2020-11-23T00:00:00"}