{"id":"https://openalex.org/W1993517941","doi":"https://doi.org/10.1080/00207161003631885","title":"The complexity space of partial functions: a connection between complexity analysis and denotational semantics","display_name":"The complexity space of partial functions: a connection between complexity analysis and denotational semantics","publication_year":2011,"publication_date":"2011-01-26","ids":{"openalex":"https://openalex.org/W1993517941","doi":"https://doi.org/10.1080/00207161003631885","mag":"1993517941"},"language":"en","primary_location":{"id":"doi:10.1080/00207161003631885","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207161003631885","pdf_url":null,"source":{"id":"https://openalex.org/S124867444","display_name":"International Journal of Computer Mathematics","issn_l":"0020-7160","issn":["0020-7160","1026-7425","1029-0265"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computer Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10251/46840","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5008660700","display_name":"Salvador Romaguera","orcid":"https://orcid.org/0000-0001-7857-6139"},"institutions":[{"id":"https://openalex.org/I60053951","display_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","ror":"https://ror.org/01460j859","country_code":"ES","type":"education","lineage":["https://openalex.org/I60053951"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"S. Romaguera","raw_affiliation_strings":["Instituto Universitario de Matem\u00e1tica Pura y Aplicada, Universidad Polit\u00e9cnica de Valencia , 46071, Valencia, Spain","Instituto Universitario de Matem\u00e1tica Pura y Aplicada, Universidad Polit\u00e9cnica de Valencia, Valencia, Spain"],"affiliations":[{"raw_affiliation_string":"Instituto Universitario de Matem\u00e1tica Pura y Aplicada, Universidad Polit\u00e9cnica de Valencia , 46071, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]},{"raw_affiliation_string":"Instituto Universitario de Matem\u00e1tica Pura y Aplicada, Universidad Polit\u00e9cnica de Valencia, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016654758","display_name":"Michel Schellekens","orcid":null},"institutions":[{"id":"https://openalex.org/I27577105","display_name":"University College Cork","ror":"https://ror.org/03265fv13","country_code":"IE","type":"education","lineage":["https://openalex.org/I27577105"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"M. P. Schellekens","raw_affiliation_strings":["Department of Computer Science, Center of Efficiency-Oriented Languages , University College Cork , Western Road, Cork, Ireland","Department of Computer Science, Center of Efficiency-Oriented Languages, University College Cork, Cork, Ireland#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Center of Efficiency-Oriented Languages , University College Cork , Western Road, Cork, Ireland","institution_ids":["https://openalex.org/I27577105"]},{"raw_affiliation_string":"Department of Computer Science, Center of Efficiency-Oriented Languages, University College Cork, Cork, Ireland#TAB#","institution_ids":["https://openalex.org/I27577105"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007428198","display_name":"\u00d3scar Valero","orcid":"https://orcid.org/0000-0003-4710-1338"},"institutions":[{"id":"https://openalex.org/I50441567","display_name":"Universitat de les Illes Balears","ror":"https://ror.org/03e10x626","country_code":"ES","type":"education","lineage":["https://openalex.org/I50441567"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"O. Valero","raw_affiliation_strings":["Departamento de Ciencias Matem\u00e1ticas e Inform\u00e1tica , Universidad de las Islas Baleares , 07122, Palma de Mallorca, Spain","Departamento de Ciencias Matem\u00e1ticas e Inform\u00e1tica , Universidad de las Islas Baleares , Palma de Mallorca, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Ciencias Matem\u00e1ticas e Inform\u00e1tica , Universidad de las Islas Baleares , 07122, Palma de Mallorca, Spain","institution_ids":["https://openalex.org/I50441567"]},{"raw_affiliation_string":"Departamento de Ciencias Matem\u00e1ticas e Inform\u00e1tica , Universidad de las Islas Baleares , Palma de Mallorca, Spain","institution_ids":["https://openalex.org/I50441567"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5007428198"],"corresponding_institution_ids":["https://openalex.org/I50441567"],"apc_list":null,"apc_paid":null,"fwci":3.8226,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.92806097,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"88","issue":"9","first_page":"1819","last_page":"1829"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11777","display_name":"Fixed Point Theorems Analysis","score":0.9854000210762024,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12923","display_name":"Digital Image Processing Techniques","score":0.9711999893188477,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/denotational-semantics","display_name":"Denotational semantics","score":0.6896110773086548},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6336768269538879},{"id":"https://openalex.org/keywords/worst-case-complexity","display_name":"Worst-case complexity","score":0.5292115807533264},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5010828971862793},{"id":"https://openalex.org/keywords/structural-complexity-theory","display_name":"Structural complexity theory","score":0.4924231767654419},{"id":"https://openalex.org/keywords/domain-theory","display_name":"Domain theory","score":0.47553491592407227},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46310609579086304},{"id":"https://openalex.org/keywords/denotational-semantics-of-the-actor-model","display_name":"Denotational semantics of the Actor model","score":0.4522651731967926},{"id":"https://openalex.org/keywords/descriptive-complexity-theory","display_name":"Descriptive complexity theory","score":0.4505711495876312},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4479557275772095},{"id":"https://openalex.org/keywords/complexity-class","display_name":"Complexity class","score":0.4388469457626343},{"id":"https://openalex.org/keywords/normalisation-by-evaluation","display_name":"Normalisation by evaluation","score":0.4133206009864807},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3871874213218689},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.3753213882446289},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.3273876905441284},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.31516575813293457},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31328168511390686},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.3008944094181061},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.16521236300468445},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11415329575538635}],"concepts":[{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.6896110773086548},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6336768269538879},{"id":"https://openalex.org/C96563100","wikidata":"https://www.wikidata.org/wiki/Q8037118","display_name":"Worst-case complexity","level":3,"score":0.5292115807533264},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5010828971862793},{"id":"https://openalex.org/C131583701","wikidata":"https://www.wikidata.org/wiki/Q7625020","display_name":"Structural complexity theory","level":4,"score":0.4924231767654419},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.47553491592407227},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46310609579086304},{"id":"https://openalex.org/C89448276","wikidata":"https://www.wikidata.org/wiki/Q5259284","display_name":"Denotational semantics of the Actor model","level":5,"score":0.4522651731967926},{"id":"https://openalex.org/C133142742","wikidata":"https://www.wikidata.org/wiki/Q1200755","display_name":"Descriptive complexity theory","level":3,"score":0.4505711495876312},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4479557275772095},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.4388469457626343},{"id":"https://openalex.org/C87365073","wikidata":"https://www.wikidata.org/wiki/Q7051843","display_name":"Normalisation by evaluation","level":5,"score":0.4133206009864807},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3871874213218689},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3753213882446289},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3273876905441284},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.31516575813293457},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31328168511390686},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.3008944094181061},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.16521236300468445},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11415329575538635}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1080/00207161003631885","is_oa":false,"landing_page_url":"https://doi.org/10.1080/00207161003631885","pdf_url":null,"source":{"id":"https://openalex.org/S124867444","display_name":"International Journal of Computer Mathematics","issn_l":"0020-7160","issn":["0020-7160","1026-7425","1029-0265"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Computer Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:riunet.upv.es:10251/46840","is_oa":true,"landing_page_url":"http://hdl.handle.net/10251/46840","pdf_url":null,"source":{"id":"https://openalex.org/S4306400639","display_name":"RiuNet (Universitat Polit\u00e8cnica de Val\u00e8ncia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"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":null,"raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:riunet.upv.es:10251/46840","is_oa":true,"landing_page_url":"http://hdl.handle.net/10251/46840","pdf_url":null,"source":{"id":"https://openalex.org/S4306400639","display_name":"RiuNet (Universitat Polit\u00e8cnica de Val\u00e8ncia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"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":null,"raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W72558488","https://openalex.org/W568516392","https://openalex.org/W1482240164","https://openalex.org/W1524112282","https://openalex.org/W1557973150","https://openalex.org/W1585297856","https://openalex.org/W1597570785","https://openalex.org/W1969857501","https://openalex.org/W1972562904","https://openalex.org/W2001575873","https://openalex.org/W2006192372","https://openalex.org/W2008209365","https://openalex.org/W2018110053","https://openalex.org/W2025926772","https://openalex.org/W2068718645","https://openalex.org/W2072609132","https://openalex.org/W2081233506","https://openalex.org/W2090440866","https://openalex.org/W2093397547","https://openalex.org/W2102034987","https://openalex.org/W2112476716","https://openalex.org/W2135781342","https://openalex.org/W2151896647","https://openalex.org/W2294016984","https://openalex.org/W2912883082","https://openalex.org/W2913954881","https://openalex.org/W4210749826","https://openalex.org/W4300885858"],"related_works":["https://openalex.org/W2374430960","https://openalex.org/W2327776271","https://openalex.org/W2372260410","https://openalex.org/W1512399864","https://openalex.org/W2035152936","https://openalex.org/W2964237202","https://openalex.org/W342214647","https://openalex.org/W2041069649","https://openalex.org/W2081026687","https://openalex.org/W3094951835"],"abstract_inverted_index":{"The":[0,37],"study":[1],"of":[2,16,28,39,56,70,101,104,118,122,159,165,169,189,195,198,202,210,214,224,234],"the":[3,29,45,68,99,102,119,141,152,166,178,186,193,208,211,215,225,230],"dual":[4],"complexity":[5,17,60,81,105,120,157,167,187,204],"space,":[6],"introduced":[7,89],"by":[8,44,63,84,92],"S.":[9,93],"Romaguera":[10,94],"and":[11,35,66,90,95,156,172,191,218],"M.P.":[12],"Schellekens":[13],"[Quasi-metric":[14],"properties":[15],"spaces,":[18],"Topol.":[19],"Appl.":[20],"98":[21],"(1999),":[22],"pp.":[23,114],"311\u2013322],":[24],"constitutes":[25],"a":[26,72,79,132],"part":[27],"interdisciplinary":[30],"research":[31],"on":[32],"Computer":[33],"Science":[34],"Topology.":[36],"relevance":[38],"this":[40,64,145],"theory":[41],"is":[42],"given":[43,139],"fact":[46,65],"that":[47,129,174],"it":[48,175],"allows":[49],"one":[50],"to":[51,59,125],"apply":[52],"fixed":[53],"point":[54],"techniques":[55],"denotational":[57,212],"semantics":[58,155],"analysis.":[61],"Motivated":[62],"with":[67],"intention":[69],"obtaining":[71],"mixed":[73],"framework":[74],"valid":[75],"for":[76,185,192,229],"both":[77],"disciplines,":[78],"new":[80],"space":[82,103,121,168],"formed":[83],"partial":[85,106,123,170],"functions":[86,124,171],"was":[87,138],"recently":[88],"studied":[91],"O.":[96],"Valero":[97],"[On":[98],"structure":[100],"functions,":[107],"Int.":[108],"J.":[109],"Comput.":[110],"Math.":[111],"85":[112],"(2008),":[113],"631\u2013640].":[115],"An":[116],"application":[117],"model":[126],"certain":[127],"processes":[128],"arise,":[130],"in":[131,135,140],"natural":[133],"way,":[134],"symbolic":[136],"computation":[137],"aforementioned":[142],"reference.":[143],"In":[144],"paper,":[146],"we":[147,206],"enter":[148],"more":[149],"deeply":[150],"into":[151],"relationship":[153],"between":[154],"analysis":[158,188,233],"programs.":[160,199],"We":[161],"construct":[162],"an":[163,181,220],"extension":[164],"show":[173,207],"is,":[176],"at":[177],"same":[179],"time,":[180],"appropriate":[182],"mathematical":[183],"tool":[184],"algorithms":[190],"validation":[194],"recursive":[196],"definitions":[197],"As":[200],"applications":[201],"our":[203],"framework,":[205],"correctness":[209],"specification":[213],"factorial":[216],"function":[217],"give":[219],"alternative":[221],"formal":[222],"proof":[223],"asymptotic":[226],"upper":[227],"bound":[228],"average":[231],"case":[232],"Quicksort.":[235]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":3}],"updated_date":"2026-03-14T08:43:22.919905","created_date":"2025-10-10T00:00:00"}