{"id":"https://openalex.org/W7170133803","doi":"https://doi.org/10.1007/978-3-032-32519-8_15","title":"Liquid Tree Automata","display_name":"Liquid Tree Automata","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7170133803","doi":"https://doi.org/10.1007/978-3-032-32519-8_15"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-32519-8_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-32519-8_15","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-32519-8_15.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-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-32519-8_15.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5143523520","display_name":"Ashish Mishra","orcid":null},"institutions":[{"id":"https://openalex.org/I189109744","display_name":"Indian Institute of Technology Dhanbad","ror":"https://ror.org/013v3cc28","country_code":"IN","type":"education","lineage":["https://openalex.org/I189109744"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Ashish Mishra","raw_affiliation_strings":["IIT Hyderbad, Hyderbad, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IIT Hyderbad, Hyderbad, India","institution_ids":["https://openalex.org/I189109744"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034957233","display_name":"Suresh Jagannathan","orcid":"https://orcid.org/0000-0001-6871-2424"},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Suresh Jagannathan","raw_affiliation_strings":["Purdue University, West Lafayette, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Purdue University, West Lafayette, USA","institution_ids":["https://openalex.org/I219193219"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5143523520"],"corresponding_institution_ids":["https://openalex.org/I189109744"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"284","last_page":"307"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/merge","display_name":"Merge (version control)","score":0.6043999791145325},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5861999988555908},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5033000111579895},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.4887000024318695},{"id":"https://openalex.org/keywords/tree-automaton","display_name":"Tree automaton","score":0.4724000096321106},{"id":"https://openalex.org/keywords/search-tree","display_name":"Search tree","score":0.38989999890327454},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.38519999384880066},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.3828999996185303},{"id":"https://openalex.org/keywords/similitude","display_name":"Similitude","score":0.3822000026702881}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8033999800682068},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.6043999791145325},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5879999995231628},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5861999988555908},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5033000111579895},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4887000024318695},{"id":"https://openalex.org/C2778583254","wikidata":"https://www.wikidata.org/wiki/Q2872598","display_name":"Tree automaton","level":3,"score":0.4724000096321106},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3991999924182892},{"id":"https://openalex.org/C207024777","wikidata":"https://www.wikidata.org/wiki/Q621673","display_name":"Search tree","level":3,"score":0.38989999890327454},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.38519999384880066},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.3828999996185303},{"id":"https://openalex.org/C143271835","wikidata":"https://www.wikidata.org/wiki/Q254515","display_name":"Similitude","level":2,"score":0.3822000026702881},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.35899999737739563},{"id":"https://openalex.org/C83852419","wikidata":"https://www.wikidata.org/wiki/Q2713292","display_name":"Subtyping","level":2,"score":0.3310000002384186},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.3151000142097473},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.3127000033855438},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31209999322891235},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.30809998512268066},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.287200003862381},{"id":"https://openalex.org/C125583679","wikidata":"https://www.wikidata.org/wiki/Q755673","display_name":"Search algorithm","level":2,"score":0.28700000047683716},{"id":"https://openalex.org/C171268870","wikidata":"https://www.wikidata.org/wiki/Q1486676","display_name":"GRASP","level":2,"score":0.28540000319480896},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.2732999920845032},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.2637999951839447},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2612999975681305},{"id":"https://openalex.org/C163797641","wikidata":"https://www.wikidata.org/wiki/Q2067937","display_name":"Tree structure","level":3,"score":0.2567000091075897},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.2554999887943268}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-32519-8_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-32519-8_15","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-32519-8_15.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-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-32519-8_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-32519-8_15","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-32519-8_15.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-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7170133803.pdf","grobid_xml":"https://content.openalex.org/works/W7170133803.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W830367993","https://openalex.org/W1858945639","https://openalex.org/W1905591175","https://openalex.org/W2008880956","https://openalex.org/W2073904768","https://openalex.org/W2078381694","https://openalex.org/W2108471047","https://openalex.org/W2125995229","https://openalex.org/W2134734244","https://openalex.org/W2152456366","https://openalex.org/W2486684896","https://openalex.org/W2550471858","https://openalex.org/W2561055248","https://openalex.org/W2731197199","https://openalex.org/W2765742677","https://openalex.org/W2899590559","https://openalex.org/W2910204069","https://openalex.org/W2964240296","https://openalex.org/W2964647367","https://openalex.org/W2995341674","https://openalex.org/W2995746305","https://openalex.org/W3099525000","https://openalex.org/W3109017117","https://openalex.org/W3167068349","https://openalex.org/W3177832995","https://openalex.org/W3202806445","https://openalex.org/W4246908965","https://openalex.org/W4293812875","https://openalex.org/W4307884541","https://openalex.org/W4310557242","https://openalex.org/W4311248665","https://openalex.org/W4379536906","https://openalex.org/W4387667052","https://openalex.org/W4400995520","https://openalex.org/W7156009583"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Component-based":[1],"synthesis":[2],"(CBS)":[3],"aims":[4],"to":[5,78,125,156,202,214,230,246,272,275],"generate":[6],"loop-free":[7],"programs":[8],"from":[9],"a":[10,25,32,37,95,108,150,176,195,247,260,265],"set":[11,26,151,159],"of":[12,27,36,45,62,74,98,152,160,171,194,228,241,256,284],"libraries":[13],"whose":[14,21,186],"methods":[15,139],"are":[16],"annotated":[17],"with":[18,88,122,141,149,211],"specifications":[19,76,143],"and":[20,169,263],"output":[22],"must":[23,85],"satisfy":[24],"logical":[28,128,154],"constraints,":[29],"expressed":[30],"as":[31,222],"query.":[33,51],"The":[34,52],"effectiveness":[35],"CBS":[38,109,120,277],"algorithm":[39],"critically":[40],"depends":[41],"on":[42],"the":[43,46,50,58,60,72,75,99,123,131,158,191,207,282,285],"severity":[44],"constraints":[47,56,89,205],"imposed":[48],"by":[49,107,118,163,190],"more":[53],"exact":[54],"these":[55],"are,":[57],"sparser":[59],"space":[61],"feasible":[63],"solutions.":[64],"This":[65,199],"maxim":[66],"also":[67],"applies":[68],"when":[69],"we":[70,114,174,238],"enrich":[71,145],"expressivity":[73],"affixed":[77],"library":[79,138],"methods.":[80],"In":[81,111],"both":[82],"cases,":[83],"search":[84,121,223,250],"now":[86],"contend":[87],"that":[90,103,144,164,268,279],"may":[91],"only":[92],"hold":[93],"over":[94,206],"small":[96],"number":[97],"possible":[100],"execution":[101],"paths":[102,132],"can":[104],"be":[105],"enumerated":[106,212],"procedure.":[110,251],"this":[112,116,172,226,257],"paper,":[113],"address":[115],"challenge":[117],"equipping":[119],"ability":[124,271],"reason":[126],"about":[127,217],"similarities":[129],"among":[130,219],"it":[133],"explores.":[134],"Our":[135],"setting":[136],"considers":[137],"equipped":[140],"refinement-type":[142],"ordinary":[146],"base":[147],"types":[148,209],"rich":[153],"qualifiers":[155],"constrain":[157],"values":[161],"accepted":[162],"type.":[165],"For":[166],"efficient":[167],"representation":[168],"enumeration":[170],"space,":[173],"introduce":[175],"novel":[177],"tree":[178],"automata":[179],"variant":[180],"called":[181,262],"Liquid":[182],"Tree":[183],"Automata":[184],"(LTA)":[185],"construction":[187],"is":[188],"driven":[189],"typing":[192],"rules":[193],"refinement":[196,208],"type":[197],"system.":[198],"allows":[200],"us":[201],"leverage":[203],"subtyping":[204],"associated":[210],"terms":[213],"enable":[215],"reasoning":[216],"similarity":[218,229],"candidate":[220],"solutions":[221,274],"proceeds,":[224],"using":[225],"notion":[227],"eagerly":[231],"merge":[232],"LTA":[233],"states.":[234],"By":[235],"doing":[236],"so,":[237],"avoid":[239],"exploration":[240],"semantically":[242],"similar":[243],"paths,":[244],"leading":[245],"significantly":[248],"improved":[249],"We":[252],"present":[253],"an":[254],"implementation":[255],"idea":[258],"in":[259],"tool":[261],"provide":[264],"comprehensive":[266],"evaluation":[267],"demonstrates":[269],"\u2019s":[270],"synthesize":[273],"complex":[276],"queries":[278],"go":[280],"well-beyond":[281],"capabilities":[283],"existing":[286],"state-of-the-art.":[287]},"counts_by_year":[],"updated_date":"2026-07-25T05:54:39.514286","created_date":"2026-07-24T00:00:00"}