{"id":"https://openalex.org/W2973401693","doi":"https://doi.org/10.1017/s1471068419000152","title":"Resource Analysis driven by (Conditional) Termination Proofs","display_name":"Resource Analysis driven by (Conditional) Termination Proofs","publication_year":2019,"publication_date":"2019-09-01","ids":{"openalex":"https://openalex.org/W2973401693","doi":"https://doi.org/10.1017/s1471068419000152","mag":"2973401693"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068419000152","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068419000152","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1907.10096","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"ELVIRA ALBERT","orcid":null},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"ELVIRA ALBERT","raw_affiliation_strings":["DSIC, Complutense University of Madrid (UCM), E-28040 Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DSIC, Complutense University of Madrid (UCM), E-28040 Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":null,"display_name":"MIQUEL BOFILL","orcid":null},"institutions":[{"id":"https://openalex.org/I251424209","display_name":"Universitat de Girona","ror":"https://ror.org/01xdxns91","country_code":"ES","type":"education","lineage":["https://openalex.org/I251424209"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"MIQUEL BOFILL","raw_affiliation_strings":["IMAE, University of Girona (UdG), E-17003 Girona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IMAE, University of Girona (UdG), E-17003 Girona, Spain","institution_ids":["https://openalex.org/I251424209"]}]},{"author_position":"middle","author":{"id":null,"display_name":"CRISTINA BORRALLERAS","orcid":null},"institutions":[{"id":"https://openalex.org/I115304662","display_name":"Universitat de Vic - Universitat Central de Catalunya","ror":"https://ror.org/006zjws59","country_code":"ES","type":"education","lineage":["https://openalex.org/I115304662"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"CRISTINA BORRALLERAS","raw_affiliation_strings":["University of Vic - Central University of Catalonia (UVic-UCC), 08500 Vic (Barcelona), Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Vic - Central University of Catalonia (UVic-UCC), 08500 Vic (Barcelona), Spain","institution_ids":["https://openalex.org/I115304662"]}]},{"author_position":"middle","author":{"id":null,"display_name":"ENRIQUE MARTIN-MARTIN","orcid":"https://orcid.org/0000-0002-1664-018X"},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"ENRIQUE MARTIN-MARTIN","raw_affiliation_strings":["DSIC, Complutense University of Madrid (UCM), E-28040 Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-1664-018X","affiliations":[{"raw_affiliation_string":"DSIC, Complutense University of Madrid (UCM), E-28040 Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"last","author":{"id":null,"display_name":"ALBERT RUBIO","orcid":null},"institutions":[{"id":"https://openalex.org/I121748325","display_name":"Universidad Complutense de Madrid","ror":"https://ror.org/02p0gd045","country_code":"ES","type":"education","lineage":["https://openalex.org/I121748325"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"ALBERT RUBIO","raw_affiliation_strings":["DSIC, Complutense University of Madrid (UCM), E-28040 Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DSIC, Complutense University of Madrid (UCM), E-28040 Madrid, Spain","institution_ids":["https://openalex.org/I121748325"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9585,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.82282693,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"19","issue":"5-6","first_page":"722","last_page":"739"},"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.2858000099658966,"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.2858000099658966,"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.24709999561309814,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.18039999902248383,"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/resource","display_name":"Resource (disambiguation)","score":0.5835000276565552},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.5582000017166138},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5083000063896179},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5042999982833862},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4952000081539154},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.49399998784065247},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.49380001425743103},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.49079999327659607},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4715000092983246}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.850600004196167},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.5835000276565552},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.5582000017166138},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5083000063896179},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5042999982833862},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4952000081539154},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.49399998784065247},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.49380001425743103},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.49079999327659607},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4715000092983246},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.46700000762939453},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.45969998836517334},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.375900000333786},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35740000009536743},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35740000009536743},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.3427000045776367},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.3240000009536743},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.32280001044273376},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.30469998717308044},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2994999885559082},{"id":"https://openalex.org/C2983335822","wikidata":"https://www.wikidata.org/wiki/Q942582","display_name":"Cost analysis","level":2,"score":0.28130000829696655},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.2727999985218048},{"id":"https://openalex.org/C176359209","wikidata":"https://www.wikidata.org/wiki/Q2348963","display_name":"Control flow analysis","level":5,"score":0.26829999685287476},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26429998874664307},{"id":"https://openalex.org/C51332947","wikidata":"https://www.wikidata.org/wiki/Q1172305","display_name":"Shared resource","level":2,"score":0.2563999891281128}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s1471068419000152","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068419000152","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1907.10096","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.10096","pdf_url":"https://arxiv.org/pdf/1907.10096","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:dnet:dugidocsuniv::be43c8c032776dd5f3f02f7aff3e9b5f","is_oa":false,"landing_page_url":"http://hdl.handle.net/10256/18110","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1907.10096","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.10096","pdf_url":"https://arxiv.org/pdf/1907.10096","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W2003295303","https://openalex.org/W2012069736","https://openalex.org/W2962816164","https://openalex.org/W6649193980","https://openalex.org/W6697057688","https://openalex.org/W6718752139","https://openalex.org/W6756335080","https://openalex.org/W6990050350"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"When":[1],"programs":[2,169],"feature":[3],"a":[4,42,55,94,128],"complex":[5,23],"control":[6],"flow,":[7],"existing":[8],"techniques":[9],"for":[10,75,166],"resource":[11,46,130,176],"analysis":[12,47,131,177],"produce":[13,93],"cost":[14,19,77,103],"relation":[15],"systems":[16],"(CRS)":[17],"whose":[18],"functions":[20,104,115],"retain":[21],"the":[22,26,52,63,67,70,76,83,86,89,120,139,155,160],"flow":[24],"of":[25,54,69,85,102,122,157],"program":[27,71],"and,":[28],"consequently,":[29],"might":[30],"not":[31],"be":[32,109],"solvable":[33],"into":[34],"closed-form":[35],"upper":[36],"bounds":[37],".":[38],"This":[39],"paper":[40],"presents":[41],"novel":[43],"approach":[44],"to":[45,108],"that":[48,62,105,135,171],"is":[49,61,100,136],"driven":[50],"by":[51,81,112,138],"result":[53],"termination":[56,64,90,141],"analysis.":[57],"The":[58],"fundamental":[59],"idea":[60],"proof":[65],"encapsulates":[66],"flows":[68],"which":[72],"are":[73,106],"relevant":[74],"computation":[78],"so":[79],"that,":[80],"driving":[82],"generation":[84],"CRS":[87,96,123,149],"using":[88],"proof,":[91],"we":[92],"linearly-bounded":[95],"(LB-CRS).":[97],"A":[98],"LB-CRS":[99],"composed":[101],"guaranteed":[107],"locally":[110],"bounded":[111],"linear":[113],"ranking":[114],"and":[116,143,146,162],"thus":[117],"greatly":[118],"simplify":[119],"process":[121],"solving.":[124],"We":[125],"have":[126],"built":[127],"new":[129],"tool,":[132],"named":[133],"MaxCore,":[134],"guided":[137],"VeryMax":[140],"analyzer":[142],"uses":[144],"CoFloCo":[145],"PUBS":[147],"as":[148],"solvers.":[150],"Our":[151],"experimental":[152],"results":[153],"on":[154],"set":[156],"benchmarks":[158],"from":[159],"Complexity":[161],"Termination":[163],"Competition":[164],"2019":[165],"C":[167],"Integer":[168],"show":[170],"MaxCore":[172],"outperforms":[173],"all":[174],"other":[175],"tools.":[178]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2019-09-26T00:00:00"}