{"id":"https://openalex.org/W6911628309","doi":"https://doi.org/10.5281/zenodo.13133801","title":"An Order Theory Framework of Recurrence Equations for Static Cost Analysis -- Dynamic Inference of Non-Linear Inequality Invariants","display_name":"An Order Theory Framework of Recurrence Equations for Static Cost Analysis -- Dynamic Inference of Non-Linear Inequality Invariants","publication_year":2024,"publication_date":"2024-07-30","ids":{"openalex":"https://openalex.org/W6911628309","doi":"https://doi.org/10.5281/zenodo.13133801"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.13133801","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13133801","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.13133801","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Rustenholz, Louis","orcid":"https://orcid.org/0000-0002-1599-2431"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Rustenholz, Louis","raw_affiliation_strings":["Universidad Polit\u00e9cnica de Madrid","IMDEA Software Institute"],"affiliations":[{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"IMDEA Software Institute","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lopez-Garcia, Pedro","orcid":"https://orcid.org/0000-0002-1092-2071"},"institutions":[{"id":"https://openalex.org/I4210134243","display_name":"National Research Council","ror":"https://ror.org/03bjn0010","country_code":"LK","type":"government","lineage":["https://openalex.org/I4210134243"]},{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES","LK"],"is_corresponding":false,"raw_author_name":"Lopez-Garcia, Pedro","raw_affiliation_strings":["Spanish National Research Council","IMDEA Software Institute"],"affiliations":[{"raw_affiliation_string":"Spanish National Research Council","institution_ids":["https://openalex.org/I4210134243"]},{"raw_affiliation_string":"IMDEA Software Institute","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Morales, Jos\u00e9 F.","orcid":"https://orcid.org/0000-0001-9782-8135"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Morales, Jos\u00e9 F.","raw_affiliation_strings":["Universidad Polit\u00e9cnica de Madrid","IMDEA Software Institute"],"affiliations":[{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"IMDEA Software Institute","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"last","author":{"id":null,"display_name":"Hermenegildo, Manuel","orcid":"https://orcid.org/0000-0002-7583-323X"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Hermenegildo, Manuel","raw_affiliation_strings":["Universidad Polit\u00e9cnica de Madrid","IMDEA Software Institute"],"affiliations":[{"raw_affiliation_string":"Universidad Polit\u00e9cnica de Madrid","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"IMDEA Software Institute","institution_ids":["https://openalex.org/I4210162154"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210162154","https://openalex.org/I88060688"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6200000047683716},{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.5967000126838684},{"id":"https://openalex.org/keywords/preprint","display_name":"Preprint","score":0.5454999804496765},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.44179999828338623},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.429500013589859},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.42590001225471497},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.40619999170303345},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.3375000059604645}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.638700008392334},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6200000047683716},{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.5967000126838684},{"id":"https://openalex.org/C43169469","wikidata":"https://www.wikidata.org/wiki/Q580922","display_name":"Preprint","level":2,"score":0.5454999804496765},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46399998664855957},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.44179999828338623},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.429500013589859},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.42590001225471497},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.40619999170303345},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39410001039505005},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.3375000059604645},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3352999985218048},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.32670000195503235},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.32170000672340393},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.3163999915122986},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.3095000088214874},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.3050999939441681},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2825999855995178},{"id":"https://openalex.org/C2781162219","wikidata":"https://www.wikidata.org/wiki/Q26250693","display_name":"Replicate","level":2,"score":0.28139999508857727},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.2648000121116638},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2628999948501587},{"id":"https://openalex.org/C39613435","wikidata":"https://www.wikidata.org/wiki/Q846677","display_name":"Remainder","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25279998779296875}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.13133801","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13133801","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.13133801","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.13133801","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Artifact":[0],"for":[1,11,71],"the":[2,25,38,49,57,60,79,85,102,118,132,136,139,145,148,152,166,179,194,201,219,230],"paper":[3,86,167,189],"\"An":[4],"Order":[5],"Theory":[6],"Framework":[7],"of":[8,18,37,78,84,101,141,144,147,165,178,187],"Recurrence":[9],"Equations":[10],"Static":[12],"Cost":[13],"Analysis":[14],"--":[15],"Dynamic":[16],"Inference":[17],"Non-Linear":[19],"Inequality":[20],"Invariants\"":[21],"This":[22],"artifact":[23,34,137],"is":[24,35,138,227],"proof-of-concept":[26],"constrained-optimisation-based":[27],"prototype":[28,95],"mentioned":[29],"in":[30,151,184,193,208,222,229],"our":[31,94,188],"paper.":[32],"The":[33,175],"composed":[36],"following":[39],"elements.":[40],"A":[41],"README.md":[42],"document,":[43],"with":[44],"step-by-step":[45],"instructions":[46],"to":[47,54,66,171,218],"setup":[48],"artifact,":[50],"rebuild":[51,117],"if":[52,123],"necessary,":[53,124],"then":[55],"replicate":[56],"experiments":[58],"and":[59,63,73,89,108,110,130,200,203],"comparisons,":[61],"explanations":[62],"an":[64,76],"example":[65],"perform":[67],"new":[68],"experiments,":[69],"guides":[70],"tweaks":[72],"extensions,":[74],"including":[75],"overview":[77],"code":[80],"structure.":[81],"Preprint":[82],"version":[83,196],"paper.pdf.":[87],"Archived":[88,114],"compressed":[90],"Docker":[91,119],"image":[92,120],"order_recsolv.tar.gz.Contains":[93],"order_recsolv,":[96],"as":[97,99,192,198],"well":[98],"two":[100],"tools":[103],"we":[104],"compare":[105],"with,":[106],"cofloco":[107],"RaML,":[109],"all":[111,163],"necessary":[112,170],"dependencies.":[113],"source,":[115],"order_recsolv_src.tar.gz.To":[116],"from":[121],"Dockerfile":[122],"or":[125],"simply":[126],"run":[127],"everything":[128],"locally":[129],"inspect":[131],"code.":[133],"Note":[134],"that":[135,161],"implementation":[140,202],"only":[142],"one":[143],"instantiations":[146],"approaches":[149],"introduced":[150],"paper,":[153],"which":[154],"additionally":[155],"lays":[156],"down":[157],"some":[158],"theory,":[159],"so":[160],"not":[162],"sections":[164],"are":[168,182,207,221],"absolutely":[169],"evaluate":[172],"this":[173],"artifact.":[174],"key":[176],"points":[177],"implemented":[180],"approach":[181],"presented":[183],"Section":[185,209],"8.1":[186],"(section":[190],"numbers":[191],"preprint":[195],"available":[197,228],"paper.pdf),":[199],"experimental":[204,213],"evaluation":[205],"themselves":[206],"10.":[210],"Other":[211],"relevant":[212],"data":[214],"(still":[215],"summarised":[216],"compared":[217],"artifact)":[220],"Appendix":[223],"A.":[224],"More":[225],"information":[226],"README.":[231]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}