{"id":"https://openalex.org/W4393955090","doi":"https://doi.org/10.1007/978-3-031-57267-8","title":"Programming Languages and Systems","display_name":"Programming Languages and Systems","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4393955090","doi":"https://doi.org/10.1007/978-3-031-57267-8"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-57267-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57267-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},"type":"book","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"European Symposium on Programming 2024 Luxemburg","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"European Symposium on Programming 2024 Luxemburg","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Weirich, Stephanie","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Weirich, Stephanie","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"ETAPS 2024 Luxemburg, Stadt","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"ETAPS 2024 Luxemburg, Stadt","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.0417,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.70707071,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.6049000024795532,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.6049000024795532,"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"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.5830000042915344,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.5629000067710876,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8531579971313477},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6162694096565247},{"id":"https://openalex.org/keywords/fifth-generation-programming-language","display_name":"Fifth-generation programming language","score":0.41706976294517517},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.24066060781478882}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8531579971313477},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6162694096565247},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.41706976294517517},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.24066060781478882}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-57267-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57267-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-57267-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57267-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2191957979","display_name":null,"funder_award_id":"ANR-22-PETQ-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2233425273","display_name":null,"funder_award_id":"ANR-19-CE48-0014","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2970831653","display_name":null,"funder_award_id":"ANR-22-PNCQ-0002","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3892558182","display_name":"EXHIBIT : Expressive High-Level Languages for Bidirectional Transformations","funder_award_id":"EP/T008911/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G488932057","display_name":"Automated Amortised Resource Analysis of Data Structures","funder_award_id":"P 36623","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8266173377","display_name":null,"funder_award_id":"19-CE48-0014","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8318455765","display_name":null,"funder_award_id":"ANR-19","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320320940","display_name":"Stiftelsen f\u00f6r\u00a0Strategisk Forskning","ror":"https://ror.org/044wr7g58"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"},{"id":"https://openalex.org/F4320327344","display_name":"Marcus och Amalia Wallenbergs minnesfond","ror":"https://ror.org/024f3s581"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4393955090.pdf","grobid_xml":"https://content.openalex.org/works/W4393955090.grobid-xml"},"referenced_works_count":570,"referenced_works":["https://openalex.org/W5424990","https://openalex.org/W8727156","https://openalex.org/W9166514","https://openalex.org/W30585784","https://openalex.org/W32507011","https://openalex.org/W57185801","https://openalex.org/W74317754","https://openalex.org/W81626549","https://openalex.org/W86344006","https://openalex.org/W127828801","https://openalex.org/W142045744","https://openalex.org/W146475325","https://openalex.org/W156702976","https://openalex.org/W182521565","https://openalex.org/W294073838","https://openalex.org/W307320947","https://openalex.org/W438580906","https://openalex.org/W967948971","https://openalex.org/W1230660382","https://openalex.org/W1268528572","https://openalex.org/W1480039477","https://openalex.org/W1490532726","https://openalex.org/W1492999010","https://openalex.org/W1495825275","https://openalex.org/W1496947201","https://openalex.org/W1498946538","https://openalex.org/W1499136777","https://openalex.org/W1508603515","https://openalex.org/W1509579779","https://openalex.org/W1511668635","https://openalex.org/W1517409399","https://openalex.org/W1518247129","https://openalex.org/W1520247096","https://openalex.org/W1521014576","https://openalex.org/W1521434182","https://openalex.org/W1525350307","https://openalex.org/W1527925700","https://openalex.org/W1529830543","https://openalex.org/W1531074043","https://openalex.org/W1532452539","https://openalex.org/W1533211775","https://openalex.org/W1533854855","https://openalex.org/W1540138108","https://openalex.org/W1541400212","https://openalex.org/W1550132862","https://openalex.org/W1553511155","https://openalex.org/W1553894716","https://openalex.org/W1556604985","https://openalex.org/W1557561422","https://openalex.org/W1558388494","https://openalex.org/W1561135709","https://openalex.org/W1563061915","https://openalex.org/W1570664277","https://openalex.org/W1580664042","https://openalex.org/W1581551064","https://openalex.org/W1582008002","https://openalex.org/W1587451605","https://openalex.org/W1591856965","https://openalex.org/W1592460780","https://openalex.org/W1595069411","https://openalex.org/W1600244485","https://openalex.org/W1602395497","https://openalex.org/W1607705647","https://openalex.org/W1608473410","https://openalex.org/W1611084195","https://openalex.org/W1707172707","https://openalex.org/W1734364899","https://openalex.org/W1755257908","https://openalex.org/W1758810311","https://openalex.org/W1771925833","https://openalex.org/W1782035903","https://openalex.org/W1802214495","https://openalex.org/W1813069714","https://openalex.org/W1815155750","https://openalex.org/W1868359205","https://openalex.org/W1882160752","https://openalex.org/W1884126869","https://openalex.org/W1890754682","https://openalex.org/W1896024878","https://openalex.org/W1921152384","https://openalex.org/W1928820179","https://openalex.org/W1944842766","https://openalex.org/W1960579544","https://openalex.org/W1963547452","https://openalex.org/W1965825795","https://openalex.org/W1969045031","https://openalex.org/W1970168990","https://openalex.org/W1972316716","https://openalex.org/W1972376146","https://openalex.org/W1974895492","https://openalex.org/W1977541831","https://openalex.org/W1981549588","https://openalex.org/W1983583725","https://openalex.org/W1991199257","https://openalex.org/W1992085465","https://openalex.org/W1992587415","https://openalex.org/W1996748114","https://openalex.org/W1997143185","https://openalex.org/W1999626800","https://openalex.org/W2000616678","https://openalex.org/W2000659103","https://openalex.org/W2001082470","https://openalex.org/W2001097638","https://openalex.org/W2003786919","https://openalex.org/W2006731094","https://openalex.org/W2006850413","https://openalex.org/W2006990447","https://openalex.org/W2011665527","https://openalex.org/W2013885073","https://openalex.org/W2014354084","https://openalex.org/W2014764321","https://openalex.org/W2015392385","https://openalex.org/W2020692742","https://openalex.org/W2023035194","https://openalex.org/W2023304911","https://openalex.org/W2029408547","https://openalex.org/W2031830821","https://openalex.org/W2035134754","https://openalex.org/W2037009101","https://openalex.org/W2042220347","https://openalex.org/W2043100293","https://openalex.org/W2045183833","https://openalex.org/W2046656770","https://openalex.org/W2047170808","https://openalex.org/W2048417351","https://openalex.org/W2048802511","https://openalex.org/W2051910176","https://openalex.org/W2052146120","https://openalex.org/W2053859260","https://openalex.org/W2054739713","https://openalex.org/W2059390719","https://openalex.org/W2060107892","https://openalex.org/W2060205259","https://openalex.org/W2064138295","https://openalex.org/W2064214512","https://openalex.org/W2072162091","https://openalex.org/W2072607050","https://openalex.org/W2073378225","https://openalex.org/W2075559812","https://openalex.org/W2077613266","https://openalex.org/W2079294297","https://openalex.org/W2080575293","https://openalex.org/W2082036516","https://openalex.org/W2084000566","https://openalex.org/W2084652510","https://openalex.org/W2085773946","https://openalex.org/W2085858676","https://openalex.org/W2086558155","https://openalex.org/W2087403174","https://openalex.org/W2088126145","https://openalex.org/W2089241138","https://openalex.org/W2090855107","https://openalex.org/W2091085450","https://openalex.org/W2091226256","https://openalex.org/W2091657052","https://openalex.org/W2092367588","https://openalex.org/W2092546644","https://openalex.org/W2095867533","https://openalex.org/W2098037505","https://openalex.org/W2098726192","https://openalex.org/W2099083823","https://openalex.org/W2099473324","https://openalex.org/W2101939036","https://openalex.org/W2103953153","https://openalex.org/W2104656753","https://openalex.org/W2105259569","https://openalex.org/W2106742806","https://openalex.org/W2108128207","https://openalex.org/W2110423393","https://openalex.org/W2110425399","https://openalex.org/W2112820511","https://openalex.org/W2114633883","https://openalex.org/W2115810994","https://openalex.org/W2116508343","https://openalex.org/W2117438955","https://openalex.org/W2118351936","https://openalex.org/W2119851779","https://openalex.org/W2119859640","https://openalex.org/W2121038016","https://openalex.org/W2121757479","https://openalex.org/W2121813116","https://openalex.org/W2123727486","https://openalex.org/W2124620840","https://openalex.org/W2125308498","https://openalex.org/W2125398300","https://openalex.org/W2125563248","https://openalex.org/W2125713144","https://openalex.org/W2127005994","https://openalex.org/W2127114597","https://openalex.org/W2127600624","https://openalex.org/W2127779696","https://openalex.org/W2128219525","https://openalex.org/W2128466619","https://openalex.org/W2128992690","https://openalex.org/W2129414328","https://openalex.org/W2130363716","https://openalex.org/W2131770667","https://openalex.org/W2132661148","https://openalex.org/W2133051483","https://openalex.org/W2133824159","https://openalex.org/W2133832333","https://openalex.org/W2134770942","https://openalex.org/W2136765833","https://openalex.org/W2136898254","https://openalex.org/W2137147061","https://openalex.org/W2137722266","https://openalex.org/W2139799388","https://openalex.org/W2140021378","https://openalex.org/W2142590632","https://openalex.org/W2143062752","https://openalex.org/W2145862486","https://openalex.org/W2147218830","https://openalex.org/W2148315256","https://openalex.org/W2148662736","https://openalex.org/W2149462580","https://openalex.org/W2149837936","https://openalex.org/W2154273644","https://openalex.org/W2155500238","https://openalex.org/W2157601714","https://openalex.org/W2157808045","https://openalex.org/W2161567720","https://openalex.org/W2162022306","https://openalex.org/W2164264520","https://openalex.org/W2164474969","https://openalex.org/W2165594098","https://openalex.org/W2166229534","https://openalex.org/W2166822586","https://openalex.org/W2167696897","https://openalex.org/W2168676717","https://openalex.org/W2171347031","https://openalex.org/W2185558310","https://openalex.org/W2198174543","https://openalex.org/W2206718322","https://openalex.org/W2209684412","https://openalex.org/W2222812367","https://openalex.org/W2242442923","https://openalex.org/W2258703518","https://openalex.org/W2264026157","https://openalex.org/W2267469130","https://openalex.org/W2267830770","https://openalex.org/W2278369388","https://openalex.org/W2280241954","https://openalex.org/W2288285441","https://openalex.org/W2290819493","https://openalex.org/W2293319505","https://openalex.org/W2293809538","https://openalex.org/W2295961544","https://openalex.org/W2340697544","https://openalex.org/W2385667943","https://openalex.org/W2395807140","https://openalex.org/W2416392025","https://openalex.org/W2417567569","https://openalex.org/W2483771058","https://openalex.org/W2485415552","https://openalex.org/W2491928626","https://openalex.org/W2508576555","https://openalex.org/W2509308157","https://openalex.org/W2511114427","https://openalex.org/W2511514052","https://openalex.org/W2514073783","https://openalex.org/W2533836568","https://openalex.org/W2539792571","https://openalex.org/W2561708922","https://openalex.org/W2561986775","https://openalex.org/W2564852534","https://openalex.org/W2567537733","https://openalex.org/W2572008600","https://openalex.org/W2593354228","https://openalex.org/W2606766398","https://openalex.org/W2611153783","https://openalex.org/W2613299215","https://openalex.org/W2617069544","https://openalex.org/W2617348763","https://openalex.org/W2622309137","https://openalex.org/W2625141509","https://openalex.org/W2625240777","https://openalex.org/W2626631502","https://openalex.org/W2681883877","https://openalex.org/W2746481414","https://openalex.org/W2748531242","https://openalex.org/W2751791540","https://openalex.org/W2752111507","https://openalex.org/W2762872281","https://openalex.org/W2765809110","https://openalex.org/W2766220735","https://openalex.org/W2767781532","https://openalex.org/W2767948565","https://openalex.org/W2769194423","https://openalex.org/W2778034045","https://openalex.org/W2779780123","https://openalex.org/W2785371369","https://openalex.org/W2787794676","https://openalex.org/W2794609696","https://openalex.org/W2796830478","https://openalex.org/W2797002635","https://openalex.org/W2797207021","https://openalex.org/W2797766813","https://openalex.org/W2797773006","https://openalex.org/W2797985644","https://openalex.org/W2798232138","https://openalex.org/W2798982532","https://openalex.org/W2804017277","https://openalex.org/W2806253293","https://openalex.org/W2808618339","https://openalex.org/W2809467539","https://openalex.org/W2867457158","https://openalex.org/W2883453547","https://openalex.org/W2884704156","https://openalex.org/W2885805316","https://openalex.org/W2885852056","https://openalex.org/W2886090648","https://openalex.org/W2886363898","https://openalex.org/W2886472010","https://openalex.org/W2888021447","https://openalex.org/W2888047193","https://openalex.org/W2888402443","https://openalex.org/W2888468607","https://openalex.org/W2889520176","https://openalex.org/W2892721170","https://openalex.org/W2897613819","https://openalex.org/W2898152370","https://openalex.org/W2898443334","https://openalex.org/W2900512542","https://openalex.org/W2902895875","https://openalex.org/W2903762116","https://openalex.org/W2904117297","https://openalex.org/W2907766023","https://openalex.org/W2909616620","https://openalex.org/W2910565741","https://openalex.org/W2911450990","https://openalex.org/W2914272084","https://openalex.org/W2921051283","https://openalex.org/W2925654996","https://openalex.org/W2928067865","https://openalex.org/W2932327194","https://openalex.org/W2946053196","https://openalex.org/W2947175105","https://openalex.org/W2947839876","https://openalex.org/W2949292350","https://openalex.org/W2950840756","https://openalex.org/W2951386665","https://openalex.org/W2951490272","https://openalex.org/W2954725723","https://openalex.org/W2955030688","https://openalex.org/W2959352824","https://openalex.org/W2960656136","https://openalex.org/W2962297646","https://openalex.org/W2962837791","https://openalex.org/W2963709414","https://openalex.org/W2964206513","https://openalex.org/W2964250752","https://openalex.org/W2964277562","https://openalex.org/W2964334533","https://openalex.org/W2964335063","https://openalex.org/W2964755768","https://openalex.org/W2965897935","https://openalex.org/W2965927083","https://openalex.org/W2968339949","https://openalex.org/W2968700020","https://openalex.org/W2969449588","https://openalex.org/W2970244683","https://openalex.org/W2973327575","https://openalex.org/W2974504688","https://openalex.org/W2975211285","https://openalex.org/W2977431667","https://openalex.org/W2979331965","https://openalex.org/W2979505726","https://openalex.org/W2979682152","https://openalex.org/W2980112323","https://openalex.org/W2982085742","https://openalex.org/W2982169647","https://openalex.org/W2982932855","https://openalex.org/W2983829900","https://openalex.org/W2988764808","https://openalex.org/W2991017868","https://openalex.org/W2995074506","https://openalex.org/W2995269103","https://openalex.org/W2995690376","https://openalex.org/W2996634758","https://openalex.org/W2999018506","https://openalex.org/W2999135213","https://openalex.org/W2999667262","https://openalex.org/W3004433739","https://openalex.org/W3005977564","https://openalex.org/W3006937969","https://openalex.org/W3006963970","https://openalex.org/W3007889862","https://openalex.org/W3011243682","https://openalex.org/W3011346478","https://openalex.org/W3011389781","https://openalex.org/W3011851329","https://openalex.org/W3013397595","https://openalex.org/W3017130541","https://openalex.org/W3018857170","https://openalex.org/W3022591472","https://openalex.org/W3024763028","https://openalex.org/W3032958005","https://openalex.org/W3035000825","https://openalex.org/W3037694447","https://openalex.org/W3037775571","https://openalex.org/W3043272472","https://openalex.org/W3046635395","https://openalex.org/W3047089539","https://openalex.org/W3047106363","https://openalex.org/W3047114572","https://openalex.org/W3080296479","https://openalex.org/W3081567767","https://openalex.org/W3089106052","https://openalex.org/W3095664463","https://openalex.org/W3099159815","https://openalex.org/W3099954734","https://openalex.org/W3100881209","https://openalex.org/W3101193881","https://openalex.org/W3101479050","https://openalex.org/W3101568729","https://openalex.org/W3102102033","https://openalex.org/W3102469351","https://openalex.org/W3102485161","https://openalex.org/W3105690832","https://openalex.org/W3106522360","https://openalex.org/W3107001768","https://openalex.org/W3107232269","https://openalex.org/W3107330328","https://openalex.org/W3108522311","https://openalex.org/W3110313536","https://openalex.org/W3110898182","https://openalex.org/W3114657538","https://openalex.org/W3117835832","https://openalex.org/W3117953372","https://openalex.org/W3119067019","https://openalex.org/W3123143760","https://openalex.org/W3123689272","https://openalex.org/W3123705249","https://openalex.org/W3130392236","https://openalex.org/W3132251092","https://openalex.org/W3134765729","https://openalex.org/W3137985772","https://openalex.org/W3138624857","https://openalex.org/W3139619551","https://openalex.org/W3141259760","https://openalex.org/W3146438627","https://openalex.org/W3150082626","https://openalex.org/W3151652064","https://openalex.org/W3156862845","https://openalex.org/W3157903927","https://openalex.org/W3168637141","https://openalex.org/W3173362847","https://openalex.org/W3173474899","https://openalex.org/W3173556662","https://openalex.org/W3174264067","https://openalex.org/W3174339754","https://openalex.org/W3175622044","https://openalex.org/W3176924883","https://openalex.org/W3177169335","https://openalex.org/W3183515470","https://openalex.org/W3184417962","https://openalex.org/W3186533773","https://openalex.org/W3187919045","https://openalex.org/W3193019423","https://openalex.org/W3193902563","https://openalex.org/W3195094068","https://openalex.org/W3196977479","https://openalex.org/W3199146566","https://openalex.org/W3203411703","https://openalex.org/W3205042639","https://openalex.org/W3205518845","https://openalex.org/W3206788814","https://openalex.org/W3210126311","https://openalex.org/W3216748474","https://openalex.org/W4200188844","https://openalex.org/W4205694524","https://openalex.org/W4205887982","https://openalex.org/W4206443926","https://openalex.org/W4206481739","https://openalex.org/W4210741360","https://openalex.org/W4212868911","https://openalex.org/W4212894445","https://openalex.org/W4221019007","https://openalex.org/W4224863640","https://openalex.org/W4225751037","https://openalex.org/W4225843881","https://openalex.org/W4226043713","https://openalex.org/W4229927152","https://openalex.org/W4230069715","https://openalex.org/W4230121659","https://openalex.org/W4230531028","https://openalex.org/W4231368424","https://openalex.org/W4231510805","https://openalex.org/W4232190085","https://openalex.org/W4233798822","https://openalex.org/W4233847666","https://openalex.org/W4234066571","https://openalex.org/W4234667719","https://openalex.org/W4235201325","https://openalex.org/W4236991443","https://openalex.org/W4237131304","https://openalex.org/W4238056673","https://openalex.org/W4238138732","https://openalex.org/W4239018153","https://openalex.org/W4239433846","https://openalex.org/W4240322740","https://openalex.org/W4241684253","https://openalex.org/W4243125208","https://openalex.org/W4243564313","https://openalex.org/W4243887386","https://openalex.org/W4245147400","https://openalex.org/W4247352113","https://openalex.org/W4247889999","https://openalex.org/W4252567017","https://openalex.org/W4281651418","https://openalex.org/W4281945852","https://openalex.org/W4283799736","https://openalex.org/W4285217460","https://openalex.org/W4285602977","https://openalex.org/W4285783048","https://openalex.org/W4286889413","https://openalex.org/W4287634532","https://openalex.org/W4288018418","https://openalex.org/W4288278978","https://openalex.org/W4289855867","https://openalex.org/W4289874378","https://openalex.org/W4290087444","https://openalex.org/W4290087445","https://openalex.org/W4293059732","https://openalex.org/W4293198767","https://openalex.org/W4293232216","https://openalex.org/W4293763691","https://openalex.org/W4297644234","https://openalex.org/W4299721975","https://openalex.org/W4299808976","https://openalex.org/W4299879363","https://openalex.org/W4307511218","https://openalex.org/W4308023672","https://openalex.org/W4310889358","https://openalex.org/W4310928684","https://openalex.org/W4311590913","https://openalex.org/W4312329444","https://openalex.org/W4312618946","https://openalex.org/W4313799968","https://openalex.org/W4315589482","https://openalex.org/W4315606116","https://openalex.org/W4315630812","https://openalex.org/W4315631112","https://openalex.org/W4320477767","https://openalex.org/W4322716551","https://openalex.org/W4366077073","https://openalex.org/W4367060695","https://openalex.org/W4379474650","https://openalex.org/W4379518504","https://openalex.org/W4379534241","https://openalex.org/W4379536095","https://openalex.org/W4379538081","https://openalex.org/W4382239491","https://openalex.org/W4384936861","https://openalex.org/W4385606388","https://openalex.org/W4386317121","https://openalex.org/W4386317173","https://openalex.org/W4386363697","https://openalex.org/W4387673994","https://openalex.org/W4390136865","https://openalex.org/W4390397846","https://openalex.org/W4390604686","https://openalex.org/W4391212512","https://openalex.org/W4391259573","https://openalex.org/W4391299405","https://openalex.org/W4393943461","https://openalex.org/W4393955090","https://openalex.org/W4393955137","https://openalex.org/W4394658422","https://openalex.org/W4401856216"],"related_works":["https://openalex.org/W4246657653","https://openalex.org/W4253687001","https://openalex.org/W2795955092","https://openalex.org/W1713414949","https://openalex.org/W625381833","https://openalex.org/W1968275544","https://openalex.org/W1559170648","https://openalex.org/W4205997139","https://openalex.org/W1534488117","https://openalex.org/W2010145286"],"abstract_inverted_index":{"Welcome":[0],"to":[1,75,85,99,108,120],"the":[2,11,18,22,106,117,127,130,145,167,175,181,190],"27th":[3,19],"ETAPS!ETAPS":[4],"2024":[5,16,147],"took":[6,136],"place":[7,137],"in":[8,38,90,101,113,116,151,172,188,197],"Luxembourg":[9],"City,":[10],"beautiful":[12],"capital":[13],"of":[14,21,30,42,67,77,124,154,163],"Luxembourg.ETAPS":[15],"is":[17,32],"instance":[20],"European":[23],"Joint":[24],"Conferences":[25],"on":[26],"Theory":[27],"and":[28,40,48,57,82,119,187],"Practice":[29],"Software.ETAPS":[31],"an":[33,102,159],"annual":[34],"federated":[35],"conference":[36,50,95],"established":[37],"1998,":[39],"consists":[41],"four":[43],"conferences:":[44],"ESOP,":[45],"FASE,":[46],"FoSSaCS,":[47],"TACAS.Each":[49],"has":[51],"its":[52,58],"own":[53,59],"Program":[54],"Committee":[55,61],"(PC)":[56],"Steering":[60],"(SC).The":[62],"conferences":[63,89],"cover":[64],"various":[65],"aspects":[66],"software":[68,86],"systems,":[69],"ranging":[70],"from":[71,142],"theoretical":[72],"computer":[73],"science":[74],"foundations":[76],"programming":[78],"languages,":[79],"analysis":[80],"tools,":[81],"formal":[83],"approaches":[84],"engineering.Organising":[87],"these":[88],"a":[91],"coherent,":[92],"highly":[93],"synchronized":[94],"programme":[96],"enables":[97],"researchers":[98,141],"participate":[100],"exciting":[103],"event,":[104],"having":[105],"possibility":[107],"meet":[109],"many":[110,140],"colleagues":[111],"working":[112],"different":[114,125],"directions":[115],"field,":[118],"easily":[121],"attend":[122],"talks":[123],"conferences.On":[126],"weekend":[128],"before":[129],"main":[131],"conference,":[132],"numerous":[133],"satellite":[134],"workshops":[135],"that":[138],"attracted":[139],"all":[143,166,174],"over":[144],"globe.ETAPS":[146],"received":[148],"352":[149],"submissions":[150],"total,":[152],"117":[153],"which":[155],"were":[156],"accepted,":[157],"yielding":[158],"overall":[160],"acceptance":[161],"rate":[162],"33%.I":[164],"thank":[165],"authors":[168],"for":[169,177,184,193],"their":[170,178,185,194],"interest":[171],"ETAPS,":[173],"reviewers":[176],"reviewing":[179],"efforts,":[180],"PC":[182,191],"members":[183],"contributions,":[186],"particular":[189],"(co-)chairs":[192],"hard":[195],"work":[196],"running":[198],"this":[199],"entire":[200],"intensive":[201],"process.":[202]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-15T08:27:34.491423","created_date":"2025-10-10T00:00:00"}