{"id":"https://openalex.org/W181842068","doi":"https://doi.org/10.3217/jucs-015-14-2836","title":"A Debugging System Based on Natural Semantics","display_name":"A Debugging System Based on Natural Semantics","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W181842068","doi":"https://doi.org/10.3217/jucs-015-14-2836","mag":"181842068"},"language":"en","primary_location":{"id":"doi:10.3217/jucs-015-14-2836","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-015-14-2836","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"DataPaper"},"type":"data-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.3217/jucs-015-14-2836","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044664643","display_name":"Alberto de la Encina","orcid":"https://orcid.org/0000-0001-9074-4537"},"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":"Alberto de la Encina","raw_affiliation_strings":["Complutense University of Madrid"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Complutense University of Madrid","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070208947","display_name":"Fernando Rubio","orcid":"https://orcid.org/0000-0002-8969-6002"},"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":"Fernando Rubio","raw_affiliation_strings":["Complutense University of Madrid"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Complutense University of Madrid","institution_ids":["https://openalex.org/I121748325"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069033340","display_name":"Luis Llana","orcid":"https://orcid.org/0000-0003-1962-1504"},"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":"Luis Llana","raw_affiliation_strings":["Complutense University of Madrid"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Complutense University of Madrid","institution_ids":["https://openalex.org/I121748325"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I121748325"],"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":"15","issue":null,"first_page":"2836","last_page":"2880"},"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.9987000226974487,"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.9987000226974487,"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/T13286","display_name":"Modeling and Simulation Systems","score":0.9940999746322632,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9886000156402588,"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/computer-science","display_name":"Computer science","score":0.9350852966308594},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.8834182024002075},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8688235282897949},{"id":"https://openalex.org/keywords/debugger","display_name":"Debugger","score":0.8634762763977051},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7531788349151611},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6022905111312866},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4613172709941864},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4586077332496643},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.36549627780914307}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9350852966308594},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.8834182024002075},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8688235282897949},{"id":"https://openalex.org/C2778485113","wikidata":"https://www.wikidata.org/wiki/Q193231","display_name":"Debugger","level":3,"score":0.8634762763977051},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7531788349151611},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6022905111312866},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4613172709941864},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4586077332496643},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.36549627780914307},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3217/jucs-015-14-2836","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-015-14-2836","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"DataPaper"},{"id":"mag:181842068","is_oa":false,"landing_page_url":"https://www.jucs.org/jucs_15_14/a_debugging_system_based/jucs_15_14_2836_2880_encina.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S58563349","display_name":"JUCS - Journal of Universal Computer Science","issn_l":"0948-695X","issn":["0948-695X","0948-6968"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310317875","host_organization_name":"Verlag der Technischen Universit\u00e4t Graz","host_organization_lineage":["https://openalex.org/P4310317875"],"host_organization_lineage_names":["Verlag der Technischen Universit\u00e4t Graz"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"JUCS - Journal of Universal Computer Science","raw_type":null}],"best_oa_location":{"id":"doi:10.3217/jucs-015-14-2836","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-015-14-2836","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"DataPaper"},"sustainable_development_goals":[{"score":0.5899999737739563,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1498622740","https://openalex.org/W1556536463","https://openalex.org/W1558109178","https://openalex.org/W1570383166","https://openalex.org/W1578785168","https://openalex.org/W1587224678","https://openalex.org/W1986497413","https://openalex.org/W2004843654","https://openalex.org/W2008317913","https://openalex.org/W2013214881","https://openalex.org/W2036665015","https://openalex.org/W2038856365","https://openalex.org/W2055052109","https://openalex.org/W2063393078","https://openalex.org/W2103859677","https://openalex.org/W2115578530","https://openalex.org/W2115737686","https://openalex.org/W2121754567","https://openalex.org/W2125519268","https://openalex.org/W2135037829","https://openalex.org/W2140499691","https://openalex.org/W2171821407","https://openalex.org/W2211582590","https://openalex.org/W2248303545","https://openalex.org/W2463292594","https://openalex.org/W2465905912","https://openalex.org/W2468019189"],"related_works":["https://openalex.org/W2769623079","https://openalex.org/W2005159791","https://openalex.org/W1975080904","https://openalex.org/W2008144935","https://openalex.org/W405971428","https://openalex.org/W194274631","https://openalex.org/W146419099","https://openalex.org/W1475719308","https://openalex.org/W2913718044","https://openalex.org/W1572984153","https://openalex.org/W2104586319","https://openalex.org/W2569592297","https://openalex.org/W2246727402","https://openalex.org/W2077873852","https://openalex.org/W2461680990","https://openalex.org/W2912642237","https://openalex.org/W109517782","https://openalex.org/W2169753825","https://openalex.org/W2914127544","https://openalex.org/W2054391605"],"abstract_inverted_index":{"Due":[0],"to":[1,44,82,103,107,116,118,147,174],"the":[2,22,42,55,94,121,131,134,186],"absence":[3,23],"of":[4,21,24,41,57,59,96,133,185],"side":[5],"effects,":[6],"reasoning":[7,14],"about":[8,15],"functional":[9,31],"programs":[10],"is":[11,48,52,75,101],"simpler":[12],"than":[13],"their":[16],"imperative":[17],"counterparts.":[18],"However,":[19,63],"because":[20],"practical":[25],"debuggers,":[26],"finding":[27],"bugs":[28],"in":[29,190],"lazy":[30],"languages":[32],"has":[33],"been":[34],"more":[35],"complex":[36,90],"until":[37],"quite":[38],"recently.":[39],"One":[40],"easiest":[43],"use":[45],"Haskell":[46],"debuggers":[47],"Hood.":[49],"Its":[50],"behavior":[51,106,132],"based":[53],"on":[54],"concept":[56],"observation":[58],"intermediate":[60],"data":[61],"structures.":[62],"although":[64],"using":[65],"Hood":[66,97,135],"can":[67,79],"be":[68,80,112],"simple":[69],"when":[70,87],"observing":[71],"some":[72],"structures,":[73],"it":[74,78,85,100],"known":[76],"that":[77,99],"hard":[81],"understand":[83],"how":[84,146],"works":[86],"dealing":[88],"with":[89],"situations.":[91],"In":[92,126,177],"fact,":[93,178],"author":[95],"recognizes":[98],"necessary":[102],"formalize":[104,130],"its":[105],"explain":[108],"better":[109],"what":[110],"should":[111],"expected,":[113],"and":[114],"also":[115,144,169],"allow":[117],"check":[119],"whether":[120],"different":[122],"implementations":[123],"work":[124],"properly.":[125],"this":[127,191],"paper,":[128],"we":[129,143,159,168,179],"debugger":[136],"by":[137],"extending":[138],"Sestoft's":[139],"natural":[140],"semantics.":[141],"Moreover,":[142],"show":[145],"derive":[148],"an":[149,171],"abstract":[150,187],"machine":[151,188],"including":[152],"such":[153],"debugging":[154],"information.":[155],"By":[156],"doing":[157],"so,":[158],"do":[160],"not":[161],"only":[162],"provide":[163,170],"a":[164,183],"formal":[165],"foundation,":[166],"but":[167],"alternative":[172],"method":[173],"implement":[175],"debuggers.":[176],"have":[180],"already":[181],"made":[182],"prototype":[184],"presented":[189],"paper.":[192]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-17T05:52:16.776730","created_date":"2025-10-10T00:00:00"}