{"id":"https://openalex.org/W2169015609","doi":"https://doi.org/10.1145/1599410.1599419","title":"Alternation as a programming paradigm","display_name":"Alternation as a programming paradigm","publication_year":2009,"publication_date":"2009-09-07","ids":{"openalex":"https://openalex.org/W2169015609","doi":"https://doi.org/10.1145/1599410.1599419","mag":"2169015609"},"language":"en","primary_location":{"id":"doi:10.1145/1599410.1599419","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1599410.1599419","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},"type":"conference-paper","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/A5064606350","display_name":"Wolfgang Dvo\u0159\u00e1k","orcid":"https://orcid.org/0000-0002-2269-8193"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Wolfgang Dvo\u0159\u00e1k","raw_affiliation_strings":["Technische Universit\u00e4t Wien, A-1040 Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, A-1040 Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050151740","display_name":"Georg Gottlob","orcid":"https://orcid.org/0000-0002-2353-5230"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Georg Gottlob","raw_affiliation_strings":["Oxford University, Oxford OX1 3QD, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oxford University, Oxford OX1 3QD, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091683403","display_name":"Reinhard Pichler","orcid":"https://orcid.org/0000-0002-1760-122X"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Reinhard Pichler","raw_affiliation_strings":["Technische Universit\u00e4t Wien, A-1040 Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, A-1040 Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006053030","display_name":"Stefan Woltran","orcid":"https://orcid.org/0000-0003-1594-8972"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stefan Woltran","raw_affiliation_strings":["Technische Universit\u00e4t Wien, A-1040 Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, A-1040 Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"61","last_page":"72"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983999729156494,"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/T10142","display_name":"Formal Methods in Verification","score":0.9927999973297119,"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/alternation","display_name":"Alternation (linguistics)","score":0.9457025527954102},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8231674432754517},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7812470197677612},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7289670705795288},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.5447952151298523},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3707442879676819},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.07730579376220703}],"concepts":[{"id":"https://openalex.org/C26826806","wikidata":"https://www.wikidata.org/wiki/Q438358","display_name":"Alternation (linguistics)","level":2,"score":0.9457025527954102},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8231674432754517},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7812470197677612},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7289670705795288},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.5447952151298523},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3707442879676819},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.07730579376220703},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/1599410.1599419","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1599410.1599419","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.225.8091","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.8091","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dbai.tuwien.ac.at/research/report/dbai-tr-2009-64.pdf","raw_type":"text"},{"id":"pmh:oai:repositum.tuwien.ac.at:1595229","is_oa":false,"landing_page_url":"http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-27673","pdf_url":null,"source":{"id":"https://openalex.org/S4306400493","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"pmh:oai:repositum.tuwien.at:20.500.12708/8966","is_oa":false,"landing_page_url":"https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-27673","pdf_url":null,"source":{"id":"https://openalex.org/S4306400493","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W12440010","https://openalex.org/W84222572","https://openalex.org/W106891889","https://openalex.org/W1497287285","https://openalex.org/W1498546115","https://openalex.org/W1518466123","https://openalex.org/W1579672261","https://openalex.org/W1810083572","https://openalex.org/W1872506843","https://openalex.org/W1891842933","https://openalex.org/W1956463788","https://openalex.org/W1965022641","https://openalex.org/W1966535250","https://openalex.org/W1973503367","https://openalex.org/W1975908943","https://openalex.org/W1976043843","https://openalex.org/W1976055110","https://openalex.org/W2011992362","https://openalex.org/W2029275642","https://openalex.org/W2033325972","https://openalex.org/W2034674470","https://openalex.org/W2051475213","https://openalex.org/W2058419440","https://openalex.org/W2064577184","https://openalex.org/W2070598037","https://openalex.org/W2088956149","https://openalex.org/W2092667854","https://openalex.org/W2121183634","https://openalex.org/W2130881291","https://openalex.org/W2152700389","https://openalex.org/W2260998758","https://openalex.org/W3157585079","https://openalex.org/W4213009134","https://openalex.org/W4241108585","https://openalex.org/W4251893211","https://openalex.org/W4285719527","https://openalex.org/W6603504866","https://openalex.org/W6634721800","https://openalex.org/W6990023262"],"related_works":["https://openalex.org/W4403098218","https://openalex.org/W2077226010","https://openalex.org/W2025791668","https://openalex.org/W2036891872","https://openalex.org/W2360497466","https://openalex.org/W1976552320","https://openalex.org/W2114044527","https://openalex.org/W1994973807","https://openalex.org/W3006338902","https://openalex.org/W1679944736"],"abstract_inverted_index":{"Alternation":[0],"is":[1,131],"a":[2,39,59,76],"common":[3],"tool":[4],"in":[5,82],"complexity":[6,16],"theory,":[7],"where":[8],"it":[9,24],"has":[10],"been":[11],"used":[12,28],"to":[13,29,55,88,121,128],"prove":[14],"various":[15],"classifications.":[17],"In":[18,42,86],"this":[19,136],"work,":[20],"we":[21,44,69,96],"show":[22,70],"that":[23,71,116],"can":[25],"also":[26,102],"be":[27,129],"enhance":[30],"the":[31,35,126],"expressive":[32],"power":[33],"of":[34,38,50,61,84,93,109],"imperative":[36],"part":[37],"programming":[40],"language.":[41],"particular,":[43],"present":[45],"Alter-Java":[46],"--":[47],"an":[48,90],"extension":[49],"Java":[51],"by":[52],"language":[53,138],"constructs":[54],"express":[56],"alternation,":[57],"i.e.,":[58],"sequence":[60],"\"there":[62],"exists\"":[63],"and":[64,79],"\"for":[65],"all\"":[66],"statements.":[67],"Moreover,":[68],"many":[72],"practical":[73],"problems":[74],"have":[75,97],"very":[77],"natural":[78],"succinct":[80],"description":[81],"terms":[83],"alternation.":[85],"order":[87],"guarantee":[89],"efficient":[91],"execution":[92],"such":[94],"programs,":[95],"introduced":[98],"several":[99],"optimizations.":[100],"We":[101],"report":[103],"on":[104],"experiments":[105],"with":[106],"our":[107,117],"implementation":[108],"Alter-Java.":[110],"The":[111],"results":[112],"thus":[113],"obtained":[114],"illustrate":[115],"alternation":[118],"framework":[119],"leads":[120],"competitive":[122],"running":[123],"times":[124],"while":[125],"code":[127],"written":[130],"significantly":[132],"shorter":[133],"than":[134],"without":[135],"new":[137],"feature.":[139]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}