{"id":"https://openalex.org/W4210555564","doi":"https://doi.org/10.1017/s0960129521000499","title":"Three improvements to the top-down solver","display_name":"Three improvements to the top-down solver","publication_year":2021,"publication_date":"2021-10-01","ids":{"openalex":"https://openalex.org/W4210555564","doi":"https://doi.org/10.1017/s0960129521000499"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129521000499","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129521000499","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/CE9A5F2A3FD62ECF9E6683598322CD52/S0960129521000499a.pdf/div-class-title-three-improvements-to-the-top-down-solver-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/CE9A5F2A3FD62ECF9E6683598322CD52/S0960129521000499a.pdf/div-class-title-three-improvements-to-the-top-down-solver-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080676686","display_name":"Helmut Seidl","orcid":"https://orcid.org/0000-0002-2135-1593"},"institutions":[{"id":"https://openalex.org/I4210136922","display_name":"Fraunhofer Institute for Applied and Integrated Security","ror":"https://ror.org/03w0bbr97","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210136922","https://openalex.org/I4923324"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Helmut Seidl","raw_affiliation_strings":["TU Mnchen, Garching, Germany","TU M\u00fcnchen, Garching, Germany"],"raw_orcid":"https://orcid.org/0000-0002-2135-1593","affiliations":[{"raw_affiliation_string":"TU Mnchen, Garching, Germany","institution_ids":["https://openalex.org/I4210136922"]},{"raw_affiliation_string":"TU M\u00fcnchen, Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086638718","display_name":"Ralf Vogler","orcid":null},"institutions":[{"id":"https://openalex.org/I4210136922","display_name":"Fraunhofer Institute for Applied and Integrated Security","ror":"https://ror.org/03w0bbr97","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210136922","https://openalex.org/I4923324"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ralf Vogler","raw_affiliation_strings":["TU Mnchen, Garching, Germany","TU M\u00fcnchen, Garching, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Mnchen, Garching, Germany","institution_ids":["https://openalex.org/I4210136922"]},{"raw_affiliation_string":"TU M\u00fcnchen, Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5080676686"],"corresponding_institution_ids":["https://openalex.org/I4210136922","https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":2.2397,"has_fulltext":true,"cited_by_count":20,"citation_normalized_percentile":{"value":0.90217095,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"31","issue":"9","first_page":"1090","last_page":"1134"},"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.9988999962806702,"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.9988999962806702,"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.9987000226974487,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9980000257492065,"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/solver","display_name":"Solver","score":0.9437079429626465},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7500898241996765},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.7340329885482788},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5734997391700745},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5200821757316589},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5080881118774414},{"id":"https://openalex.org/keywords/problem-solver","display_name":"Problem solver","score":0.5046106576919556},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4068642854690552},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3676757216453552},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3402565121650696},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2502562403678894},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.21489083766937256},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20820662379264832},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.0774209201335907}],"concepts":[{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.9437079429626465},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7500898241996765},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.7340329885482788},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5734997391700745},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5200821757316589},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5080881118774414},{"id":"https://openalex.org/C3019612716","wikidata":"https://www.wikidata.org/wiki/Q730920","display_name":"Problem solver","level":2,"score":0.5046106576919556},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4068642854690552},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3676757216453552},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3402565121650696},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2502562403678894},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.21489083766937256},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20820662379264832},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0774209201335907},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129521000499","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129521000499","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/CE9A5F2A3FD62ECF9E6683598322CD52/S0960129521000499a.pdf/div-class-title-three-improvements-to-the-top-down-solver-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s0960129521000499","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129521000499","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/CE9A5F2A3FD62ECF9E6683598322CD52/S0960129521000499a.pdf/div-class-title-three-improvements-to-the-top-down-solver-div.pdf","source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4210555564.pdf","grobid_xml":"https://content.openalex.org/works/W4210555564.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W2852225","https://openalex.org/W35071910","https://openalex.org/W43297711","https://openalex.org/W85711746","https://openalex.org/W158711440","https://openalex.org/W175092372","https://openalex.org/W1563137573","https://openalex.org/W1596917824","https://openalex.org/W1965377774","https://openalex.org/W2025577256","https://openalex.org/W2034796080","https://openalex.org/W2043100293","https://openalex.org/W2084875723","https://openalex.org/W2086558155","https://openalex.org/W2090115207","https://openalex.org/W2116325485","https://openalex.org/W2133545653","https://openalex.org/W2142044962","https://openalex.org/W2162540076","https://openalex.org/W2165086189","https://openalex.org/W2508576555","https://openalex.org/W2561675875","https://openalex.org/W2757451032","https://openalex.org/W2885805316","https://openalex.org/W2949646179","https://openalex.org/W2962786015","https://openalex.org/W3104985640","https://openalex.org/W6632945075","https://openalex.org/W7002300172"],"related_works":["https://openalex.org/W2132874577","https://openalex.org/W1836984851","https://openalex.org/W2011621332","https://openalex.org/W2116898168","https://openalex.org/W1605093979","https://openalex.org/W2152572054","https://openalex.org/W2920969592","https://openalex.org/W2074269745","https://openalex.org/W2568362682","https://openalex.org/W2990609819"],"abstract_inverted_index":{"Abstract":[0],"The":[1,31],"local":[2,254],"solver":[3,32,116,159,185,205],"TD":[4,33,160],"is":[5,76,101,113,197],"a":[6,12,128,246],"generic":[7],"fixpoint":[8],"engine":[9],"which":[10],"explores":[11],"given":[13],"system":[14],"of":[15,28,68,108,122,127,215,249,253,260],"equations":[16],"on":[17,41,146],"demand.":[18],"It":[19],"has":[20,46,61,241],"been":[21,47,62,243],"successfully":[22,242],"applied":[23],"to":[24,50,79,170,189,209,235],"the":[25,42,98,103,106,109,115,118,134,151,157,168,184,204,223,230],"interprocedural":[26,141],"analysis":[27],"procedural":[29],"languages.":[30],"gains":[34],"efficiency":[35],"by":[36],"detecting":[37],"dependencies":[38],"between":[39],"unknowns":[40,87,125,227],"fly.":[43],"This":[44,238],"algorithm":[45],"recently":[48],"extended":[49,208],"deal":[51],"with":[52,64,256],"widening":[53,69],"and":[54,70,90],"narrowing":[55,71],"as":[56],"well.":[57],"In":[58,150],"particular,":[59],"it":[60],"equipped":[63],"an":[65],"automatic":[66],"detection":[67],"points.":[72],"That":[73],"version,":[74],"however,":[75],"only":[77,84,193,219],"guaranteed":[78],"terminate":[80],"under":[81],"two":[82],"conditions:":[83],"finitely":[85],"many":[86],"are":[88,94],"encountered,":[89],"all":[91,123],"right-hand":[92,172],"sides":[93,173,214],"monotonic":[95,171],".":[96],"While":[97],"first":[99],"condition":[100],"unavoidable,":[102],"second":[104],"limits":[105],"applicability":[107],"solver.":[110],"Another":[111],"limitation":[112],"that":[114],"maintains":[117],"current":[119],"abstract":[120,191],"values":[121,192,221],"encountered":[124],"instead":[126],"minimal":[129],"set":[130],"sufficient":[131],"for":[132,222,245],"performing":[133],"iteration.":[135],"By":[136],"consuming":[137],"unnecessarily":[138],"much":[139],"space,":[140],"analyses":[142,251,258],"may":[143,217],"not":[144,218],"succeed":[145],"seemingly":[147],"small":[148],"programs.":[149],"present":[152],"paper,":[153],"we":[154,165,200],"therefore":[155],"extend":[156],"top-down":[158],"in":[161],"three":[162],"ways.":[163],"First,":[164],"indicate":[166],"how":[167,183,203],"restriction":[169],"can":[174,186,206],"be":[175,187,207],"lifted":[176],"without":[177],"compromising":[178],"termination.":[179],"We":[180],"then":[181],"show":[182,202],"tuned":[188],"store":[190],"when":[194],"their":[195],"preservation":[196],"inevitable.":[198],"Finally,":[199],"also":[201],"side-effecting":[210],"equation":[211],"systems.":[212],"Right-hand":[213],"these":[216],"provide":[220],"corresponding":[224],"left-hand":[225],"side":[226],"but":[228],"at":[229],"same":[231],"time":[232],"produce":[233],"contributions":[234],"other":[236],"unknowns.":[237],"practical":[239],"extension":[240],"used":[244],"seamless":[247],"combination":[248],"context-sensitive":[250],"(e.g.,":[252,259],"states)":[255],"flow-insensitive":[257],"globals).":[261]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":9}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}