{"id":"https://openalex.org/W2004264692","doi":"https://doi.org/10.1017/s147106841400057x","title":"Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types","display_name":"Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types","publication_year":2014,"publication_date":"2014-07-01","ids":{"openalex":"https://openalex.org/W2004264692","doi":"https://doi.org/10.1017/s147106841400057x","mag":"2004264692"},"language":"en","primary_location":{"id":"doi:10.1017/s147106841400057x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s147106841400057x","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/1405.4256","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100628640","display_name":"Alejandro Serrano","orcid":"https://orcid.org/0000-0002-5429-7589"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"A. SERRANO","raw_affiliation_strings":["Dept. of Information and Computing Sciences, Utrecht University (e-mail:"],"affiliations":[{"raw_affiliation_string":"Dept. of Information and Computing Sciences, Utrecht University (e-mail:","institution_ids":["https://openalex.org/I193662353"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030520172","display_name":"Pedro L\u00f3pez-Garc\u00eda","orcid":"https://orcid.org/0000-0002-1092-2071"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"P. LOPEZ-GARCIA","raw_affiliation_strings":["Spanish Council for Scientific Research (CSIC)","IMDEA Software Institute (e-mail:"],"affiliations":[{"raw_affiliation_string":"Spanish Council for Scientific Research (CSIC)","institution_ids":[]},{"raw_affiliation_string":"IMDEA Software Institute (e-mail:","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073531919","display_name":"Manuel V. Hermenegildo","orcid":"https://orcid.org/0000-0002-7583-323X"},"institutions":[{"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":"M. V. HERMENEGILDO","raw_affiliation_strings":["Technical University of Madrid (UPM) (e-mail:","Spanish Council for Scientific Research (CSIC)"],"affiliations":[{"raw_affiliation_string":"Technical University of Madrid (UPM) (e-mail:","institution_ids":["https://openalex.org/I88060688"]},{"raw_affiliation_string":"Spanish Council for Scientific Research (CSIC)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100628640"],"corresponding_institution_ids":["https://openalex.org/I193662353"],"apc_list":null,"apc_paid":null,"fwci":6.7656,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.96707617,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"14","issue":"4-5","first_page":"739","last_page":"754"},"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.9998000264167786,"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.9998000264167786,"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.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.8504250049591064},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.7750278115272522},{"id":"https://openalex.org/keywords/preprocessor","display_name":"Preprocessor","score":0.7044598460197449},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.6312597990036011},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5780709385871887},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5705530643463135},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.5261729955673218},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5101109147071838},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.4235360324382782},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33657336235046387},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2137143313884735},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11034205555915833}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8504250049591064},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.7750278115272522},{"id":"https://openalex.org/C34736171","wikidata":"https://www.wikidata.org/wiki/Q918333","display_name":"Preprocessor","level":2,"score":0.7044598460197449},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.6312597990036011},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5780709385871887},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5705530643463135},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5261729955673218},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5101109147071838},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.4235360324382782},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33657336235046387},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2137143313884735},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11034205555915833},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s147106841400057x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s147106841400057x","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:1405.4256","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1405.4256","pdf_url":"https://arxiv.org/pdf/1405.4256","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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:CiteSeerX.psu:10.1.1.637.2822","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.2822","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.clip.dia.fi.upm.es/papers/plai-resources-iclp14.pdf","raw_type":"text"},{"id":"pmh:oai:dnet:archivodigit::1b31511c0fa2df901f6e4db768689371","is_oa":true,"landing_page_url":"http://oa.upm.es/33658/","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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Theory and Practice of Logic Programming, ISSN 1471-0684, 2014-07, Vol. 14, No. 4-5","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1405.4256","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1405.4256","pdf_url":"https://arxiv.org/pdf/1405.4256","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":[{"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth","score":0.47999998927116394}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W35071910","https://openalex.org/W140870868","https://openalex.org/W159226319","https://openalex.org/W207722629","https://openalex.org/W1480600454","https://openalex.org/W1491271723","https://openalex.org/W1500138362","https://openalex.org/W1504783514","https://openalex.org/W1530690393","https://openalex.org/W1546954646","https://openalex.org/W1572167572","https://openalex.org/W1575284330","https://openalex.org/W1579672261","https://openalex.org/W1587293399","https://openalex.org/W1617783392","https://openalex.org/W1753357466","https://openalex.org/W1965377774","https://openalex.org/W1975943297","https://openalex.org/W1980177715","https://openalex.org/W2003295303","https://openalex.org/W2012069736","https://openalex.org/W2027099721","https://openalex.org/W2051600983","https://openalex.org/W2061246700","https://openalex.org/W2073629816","https://openalex.org/W2081810835","https://openalex.org/W2136914567","https://openalex.org/W2142044962","https://openalex.org/W2142593419","https://openalex.org/W3136924826","https://openalex.org/W4237407359","https://openalex.org/W4242321992","https://openalex.org/W4246231497","https://openalex.org/W4247516469"],"related_works":["https://openalex.org/W2075768550","https://openalex.org/W3022218857","https://openalex.org/W2369178846","https://openalex.org/W1599545538","https://openalex.org/W2370289839","https://openalex.org/W3008380943","https://openalex.org/W1536974934","https://openalex.org/W3022909958","https://openalex.org/W1774989331","https://openalex.org/W1968208713"],"abstract_inverted_index":{"Abstract":[0],"We":[1,162],"present":[2,175],"a":[3,36,89],"novel":[4],"general":[5],"resource":[6,71,103,111,159,173],"analysis":[7,72,112,166,174],"for":[8,154],"logic":[9,64],"programs":[10],"based":[11],"on":[12,32,80,93],"sized":[13,68,126],"types.":[14],"Sized":[15],"types":[16,127],"are":[17,143],"representations":[18],"that":[19,164],"incorporate":[20],"structural":[21],"(shape)":[22],"information":[23],"and":[24,29,40,46,56,77,105,130,149,158,178],"allow":[25,50],"expressing":[26],"both":[27,75,156],"lower":[28,76],"upper":[30,78],"bounds":[31,79],"the":[33,52,70,81,86,117,125,135,146,165,171,186],"size":[34,157],"of":[35,38,54,101,124,151,185],"set":[37],"terms":[39,55],"their":[41,107],"subterms":[42,57],"at":[43,59],"any":[44],"position":[45],"depth.":[47],"They":[48],"also":[49],"relating":[51],"sizes":[53],"occurring":[58],"different":[60],"argument":[61],"positions":[62],"in":[63,88,176,181],"predicates.":[65],"Using":[66],"these":[67],"types,":[69],"can":[73],"infer":[74],"resources":[82],"used":[83],"by":[84],"all":[85],"procedures":[87],"program":[90],"as":[91,121],"functions":[92],"input":[94],"term":[95],"(and":[96],"subterm)":[97],"sizes,":[98],"overcoming":[99],"limitations":[100],"existing":[102],"analyses":[104],"enhancing":[106],"precision.":[108],"Our":[109],"new":[110],"has":[113,131],"been":[114,132],"developed":[115],"within":[116],"abstract":[118,128,140],"interpretation":[119],"framework,":[120],"an":[122,168],"extension":[123],"domain,":[129],"integrated":[133,144],"into":[134],"Ciao":[136],"preprocessor,":[137],"CiaoPP.":[138],"The":[139],"domain":[141],"operations":[142],"with":[145],"setting":[147],"up":[148],"solving":[150],"recurrence":[152],"equations":[153],"inferring":[155],"usage":[160],"functions.":[161],"show":[163],"is":[167],"improvement":[169],"over":[170],"previous":[172],"CiaoPP":[177],"compares":[179],"well":[180],"power":[182],"to":[183],"state":[184],"art":[187],"systems.":[188]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}