{"id":"https://openalex.org/W2096322779","doi":null,"title":"Tecnicas de diagnostico y depuracion declarativa para lenguajes logico-funcionales","display_name":"Tecnicas de diagnostico y depuracion declarativa para lenguajes logico-funcionales","publication_year":2004,"publication_date":"2004-01-01","ids":{"openalex":"https://openalex.org/W2096322779","mag":"2096322779"},"language":"es","primary_location":{"id":"mag:2096322779","doi":null,"is_oa":false,"landing_page_url":"http://gpd.sip.ucm.es/rafa/tesis/tesis.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101687567","display_name":"Rafael Caballero","orcid":"https://orcid.org/0000-0001-8181-5532","observed_orcids":["https://orcid.org/0000-0001-8181-5532"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rafael Caballero","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-8181-5532","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5101687567"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9872999787330627,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9872999787330627,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.00559999980032444,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.0026000000070780516,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/declarative-debugging","display_name":"declarative debugging","score":0.9330000281333923},{"id":"https://openalex.org/keywords/functional-logic-programming","display_name":"functional logic programming","score":0.5529999732971191},{"id":"https://openalex.org/keywords/computation-trees","display_name":"computation trees","score":0.6039999723434448},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.8360000252723694},{"id":"https://openalex.org/keywords/lazy-functional-programming","display_name":"lazy functional programming","score":0.5929999947547913}],"concepts":[{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.7318193912506104},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.605764627456665}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2096322779","doi":null,"is_oa":false,"landing_page_url":"http://gpd.sip.ucm.es/rafa/tesis/tesis.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":67,"referenced_works":["https://openalex.org/W69930366","https://openalex.org/W77332609","https://openalex.org/W161961141","https://openalex.org/W165072048","https://openalex.org/W191345650","https://openalex.org/W1486941949","https://openalex.org/W1490584728","https://openalex.org/W1490777320","https://openalex.org/W1490930296","https://openalex.org/W1496546311","https://openalex.org/W1498622740","https://openalex.org/W1508922656","https://openalex.org/W1514468887","https://openalex.org/W1522154830","https://openalex.org/W1523672620","https://openalex.org/W1527457931","https://openalex.org/W1529741195","https://openalex.org/W1532795106","https://openalex.org/W1533556407","https://openalex.org/W1534285741","https://openalex.org/W1542304993","https://openalex.org/W1544096846","https://openalex.org/W1548037107","https://openalex.org/W1568706048","https://openalex.org/W1570956796","https://openalex.org/W1573761730","https://openalex.org/W1589232796","https://openalex.org/W1592890940","https://openalex.org/W1597162797","https://openalex.org/W1603716093","https://openalex.org/W1604972677","https://openalex.org/W1970810328","https://openalex.org/W1975247475","https://openalex.org/W2008317913","https://openalex.org/W2020091474","https://openalex.org/W2023578426","https://openalex.org/W2027026606","https://openalex.org/W2027620096","https://openalex.org/W2038856365","https://openalex.org/W2043100293","https://openalex.org/W2054839338","https://openalex.org/W2062950667","https://openalex.org/W2063521547","https://openalex.org/W2063727779","https://openalex.org/W2067151481","https://openalex.org/W2078852650","https://openalex.org/W2081810835","https://openalex.org/W2087187280","https://openalex.org/W2112870880","https://openalex.org/W2113722134","https://openalex.org/W2113740617","https://openalex.org/W2115737686","https://openalex.org/W2116827712","https://openalex.org/W2118172707","https://openalex.org/W2121754567","https://openalex.org/W2123396057","https://openalex.org/W2136202785","https://openalex.org/W2137198597","https://openalex.org/W2140499691","https://openalex.org/W2143854464","https://openalex.org/W2151384546","https://openalex.org/W2152366195","https://openalex.org/W2163976959","https://openalex.org/W2166494336","https://openalex.org/W2166822586","https://openalex.org/W2169402190","https://openalex.org/W2912883082"],"related_works":["https://openalex.org/W6997073894","https://openalex.org/W3197684898","https://openalex.org/W1490930296","https://openalex.org/W10213484","https://openalex.org/W4405506372","https://openalex.org/W6989214616","https://openalex.org/W7098427828","https://openalex.org/W7095410676","https://openalex.org/W7095269543","https://openalex.org/W2625566109"],"abstract_inverted_index":{"La":[0,87,148],"falta":[1],"de":[2,25,38,55,61,93,111,115,120,123,138,159,170,197,199,205,214,228,231,237,241,249,260,268,271,281],"herramientas":[3],"auxiliares":[4],"tales":[5],"como":[6,14,97,105,186,239],"depuradores":[7,124,279],"o":[8],"entornos":[9],"graficos":[10],"ha":[11],"sido":[12],"senalada":[13],"una":[15,226],"posible":[16],"limitacion":[17],"para":[18,74,100,125,145,155,189,202],"el":[19,209],"exito,":[20],"fuerade":[21],"ambitos":[22],"puramente":[23],"academicos,":[24],"los":[26,39,47,84,129,258],"lenguajes":[27,40,49,85,104,127,163],"funcionales":[28],"tipo":[29],"Haskell.":[30],"Este":[31],"mismo":[32,169],"razonamiento":[33],"es":[34,64],"aplicable":[35],"al":[36,254],"caso":[37],"logicos,":[41],"logico-funcionales,":[42,191],"en":[43,59,77,162,181,208],"general":[44],"a":[45,69,83,103,141,220],"todos":[46],"llamados":[48],"declarativos.":[50,86],"Sin":[51],"embargo,":[52],"la":[53,94,121,136,156,182,194,203,221,247,261,266,269],"incorporacion":[54],"estas":[56,217,272],"herramientas,":[57],"y":[58,107,133,165,244],"particular":[60],"depuradores,":[62],"no":[63,80],"siempre":[65],"sencilla,":[66],"ya":[67,131],"que":[68,109,192,234],"menudo":[70],"las":[71,113,142],"ideas":[72,91,218],"empleadas":[73],"su":[75,171],"desarrollo":[76],"otros":[78],"paradigmas":[79],"son":[81],"aplicables":[82],"progrmacion":[88],"logico-funcional":[89],"recoge":[90],"tanto":[92],"programacion":[95],"logica":[96,183],"funcional":[98],"perezosa":[99],"dar":[101],"lugar":[102],"Toy":[106],"Curry,":[108],"tratan":[110],"aunar":[112],"ventajas":[114],"ambos":[116],"pradigmas.":[117],"El":[118],"problema":[119],"construccion":[122],"estos":[126,146],"plantea":[128],"inconvenientes":[130],"senalados,":[132],"ello":[134,174,275],"motiva":[135],"investigacion":[137],"tecnicas":[139],"alternativas":[140],"tradicionales":[143],"tambien":[144,263],"lenguajes.":[147],"presente":[149],"tesis":[150,262],"desarrolla":[151],"un":[152,177],"marco":[153,187,210],"teorico":[154],"depuracion":[157,204],"declarativa":[158],"respuestas":[160,206],"incorrectas":[161,207],"logico-funcionales":[164],"se":[166,175,223,245,276],"ocupa":[167],"asi":[168],"implementacion.":[172],"Para":[173,274],"define":[176,224],"calculo":[178,255],"semantico,":[179],"basado":[180],"CRWL":[184],"propuesta":[185],"semantico":[188],"programas":[190,229,233],"permite":[193],"definicion":[195],"formal":[196],"arboles":[198,236],"computo":[200,238],"adecuados":[201],"logico-funcional.":[211],"Con":[212],"objeto":[213],"poder":[215],"llevar":[216],"teoricas":[219],"practica":[222],"ademas":[225],"transformacion":[227,251],"capaz":[230],"producir":[232],"generen":[235],"parte":[240],"sus":[242],"resultados,":[243],"prueba":[246],"correccion":[248],"esta":[250,264],"con":[252],"respecto":[253],"semantico.":[256],"Entre":[257],"objetivos":[259],"comprobar":[265],"viabilidad":[267],"implementacion":[270],"ideas.":[273],"han":[277],"incorporado":[278],"deeclarativos":[280],"respuesta":[282]},"counts_by_year":[],"updated_date":"2026-09-26T08:19:03.415552","created_date":"2016-06-24T00:00:00"}