{"id":"https://openalex.org/W4392798727","doi":"https://doi.org/10.1145/3638584.3638679","title":"An Algorithm for Partial Elimination of Jumps in an Object-Oriented Dataflow Language","display_name":"An Algorithm for Partial Elimination of Jumps in an Object-Oriented Dataflow Language","publication_year":2023,"publication_date":"2023-12-08","ids":{"openalex":"https://openalex.org/W4392798727","doi":"https://doi.org/10.1145/3638584.3638679"},"language":"en","primary_location":{"id":"doi:10.1145/3638584.3638679","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3638584.3638679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence","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/A5060505775","display_name":"Yegor Bugayenko","orcid":"https://orcid.org/0000-0001-6370-0678"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Yegor Bugayenko","raw_affiliation_strings":["Huawei RRI, Russia"],"raw_orcid":"https://orcid.org/0000-0001-6370-0678","affiliations":[{"raw_affiliation_string":"Huawei RRI, Russia","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5094150673","display_name":"Mikhail Lipanin","orcid":"https://orcid.org/0000-0002-6053-9556"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mikhail Lipanin","raw_affiliation_strings":["Huawei RRI, Russia"],"raw_orcid":"https://orcid.org/0000-0002-6053-9556","affiliations":[{"raw_affiliation_string":"Huawei RRI, Russia","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5060505775"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.23994528,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"152","last_page":"164"},"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.9980999827384949,"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.9980999827384949,"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/T10142","display_name":"Formal Methods in Verification","score":0.9958999752998352,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9943000078201294,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.9308370351791382},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7539410591125488},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.48645469546318054},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4832923710346222},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48264747858047485},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4724838137626648},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15392261743545532}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.9308370351791382},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7539410591125488},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.48645469546318054},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4832923710346222},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48264747858047485},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4724838137626648},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15392261743545532}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3638584.3638679","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3638584.3638679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W1559577056","https://openalex.org/W1593986019","https://openalex.org/W1649645444","https://openalex.org/W1817199704","https://openalex.org/W1875867434","https://openalex.org/W1984126155","https://openalex.org/W1988326056","https://openalex.org/W1990220002","https://openalex.org/W1994718921","https://openalex.org/W2005082107","https://openalex.org/W2019738397","https://openalex.org/W2031144446","https://openalex.org/W2049154817","https://openalex.org/W2050257180","https://openalex.org/W2056641335","https://openalex.org/W2059518671","https://openalex.org/W2076990583","https://openalex.org/W2079430385","https://openalex.org/W2087665407","https://openalex.org/W2097145414","https://openalex.org/W2102075452","https://openalex.org/W2111938984","https://openalex.org/W2120601440","https://openalex.org/W2149915878","https://openalex.org/W2171532807","https://openalex.org/W2177002043","https://openalex.org/W2281618752","https://openalex.org/W2756937776","https://openalex.org/W2888754212","https://openalex.org/W2963723316","https://openalex.org/W2970271935","https://openalex.org/W4226170287","https://openalex.org/W4239997146","https://openalex.org/W4245920554","https://openalex.org/W4289783612","https://openalex.org/W4297919630","https://openalex.org/W4320459827","https://openalex.org/W4387683211","https://openalex.org/W6601052002","https://openalex.org/W7139033639"],"related_works":["https://openalex.org/W2293118914","https://openalex.org/W2998381397","https://openalex.org/W4236419692","https://openalex.org/W3167919718","https://openalex.org/W4251718783","https://openalex.org/W2171015181","https://openalex.org/W4239447582","https://openalex.org/W1484403103","https://openalex.org/W2521947294","https://openalex.org/W2907307640"],"abstract_inverted_index":{"Despite":[0],"enduring":[1],"criticisms":[2],"spanning":[3],"several":[4,161],"decades,":[5],"jump":[6,127],"statements":[7,52],"such":[8,51],"as":[9,146],"goto,":[10],"break,":[11],"continue,":[12],"and":[13,28],"return":[14],"remain":[15],"prevalent":[16],"in":[17,46,88],"imperative":[18,104],"programming":[19,116],"languages,":[20,105],"including":[21],"but":[22],"not":[23],"limited":[24],"to":[25,35,49,120],"C++,":[26],"Java,":[27],"Python.":[29],"The":[30],"academic":[31],"community":[32],"has":[33,143],"yet":[34],"reach":[36],"a":[37,108,114,147,174],"consensus":[38],"regarding":[39],"whether":[40],"the":[41,166,178],"refactoring":[42,97,152],"of":[43,180],"source":[44],"code":[45,56,76,83],"these":[47],"languages":[48,125],"eliminate":[50],"can":[53],"indeed":[54],"enhance":[55],"readability.":[57],"Nevertheless,":[58],"it":[59],"is":[60,78],"evident":[61],"that":[62,74,84,122],"automated":[63],"program":[64],"analysis":[65,77],"would":[66],"derive":[67],"substantial":[68],"benefits":[69],"from":[70],"this":[71,96],"refactoring,":[72],"given":[73],"structured":[75],"more":[79],"straightforward":[80],"than":[81],"analyzing":[82],"exhibits":[85],"capricious":[86],"alterations":[87],"its":[89],"control":[90],"flow.":[91],"While":[92],"algorithms":[93],"tailored":[94,150],"for":[95,102,113,151],"process":[98],"have":[99,164],"been":[100,144],"proposed":[101],"certain":[103],"we":[106,172],"introduce":[107],"congruent":[109],"algorithm,":[110],"specifically":[111],"designed":[112],"dataflow":[115,124,156],"language.":[117,157],"It\u2019s":[118],"important":[119],"note":[121],"although":[123],"lack":[126],"statements,":[128],"they":[129],"might":[130],"incorporate":[131],"jump-objects":[132],"(in":[133],"object-oriented":[134,155],"contexts)":[135],"or":[136],"jump-functions":[137],"(within":[138],"functional":[139],"paradigms).":[140],"Our":[141],"algorithm":[142],"instantiated":[145],"command-line":[148],"tool":[149],"EO,":[153],"an":[154],"Preliminary":[158],"tests":[159],"with":[160],"EO":[162],"programs":[163],"validated":[165],"tool\u2019s":[167],"efficacy.":[168],"Leveraging":[169],"\u03c6":[170],"-calculas,":[171],"provide":[173],"formal":[175],"proof":[176],"underscoring":[177],"validity":[179],"every":[181],"transformation":[182],"encompassed":[183],"within":[184],"our":[185],"algorithm.":[186]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}