{"id":"https://openalex.org/W2104443571","doi":"https://doi.org/10.1002/scj.4690211103","title":"DDS: A declarative debugging system for functional programs","display_name":"DDS: A declarative debugging system for functional programs","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W2104443571","doi":"https://doi.org/10.1002/scj.4690211103","mag":"2104443571"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690211103","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690211103","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5100992997","display_name":"Naohisa Takahashi","orcid":null},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Naohisa Takahashi","raw_affiliation_strings":["NTT Software Laboratories, Musashino, Japan 180"],"affiliations":[{"raw_affiliation_string":"NTT Software Laboratories, Musashino, Japan 180","institution_ids":["https://openalex.org/I2251713219"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020600391","display_name":"Satoshi Ono","orcid":"https://orcid.org/0000-0001-9500-3068"},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Satoshi Ono","raw_affiliation_strings":["NTT Software Laboratories, Musashino, Japan 180"],"affiliations":[{"raw_affiliation_string":"NTT Software Laboratories, Musashino, Japan 180","institution_ids":["https://openalex.org/I2251713219"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5100992997"],"corresponding_institution_ids":["https://openalex.org/I2251713219"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.21815287,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":"11","first_page":"21","last_page":"32"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9973999857902527,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9922000169754028,"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/debugging","display_name":"Debugging","score":0.8992664813995361},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8736692667007446},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.8638479709625244},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6905091404914856},{"id":"https://openalex.org/keywords/algorithmic-program-debugging","display_name":"Algorithmic program debugging","score":0.6612575650215149},{"id":"https://openalex.org/keywords/lisp","display_name":"Lisp","score":0.643761157989502},{"id":"https://openalex.org/keywords/filter","display_name":"Filter (signal processing)","score":0.42942750453948975}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8992664813995361},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8736692667007446},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.8638479709625244},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6905091404914856},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.6612575650215149},{"id":"https://openalex.org/C190883126","wikidata":"https://www.wikidata.org/wiki/Q132874","display_name":"Lisp","level":2,"score":0.643761157989502},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.42942750453948975},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690211103","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690211103","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W128779450","https://openalex.org/W586310546","https://openalex.org/W1514468887","https://openalex.org/W1527809250","https://openalex.org/W1607905993","https://openalex.org/W1976811743"],"related_works":["https://openalex.org/W2396596882","https://openalex.org/W2098290990","https://openalex.org/W2119199043","https://openalex.org/W2801084903","https://openalex.org/W2168928134","https://openalex.org/W2112040168","https://openalex.org/W1526156394","https://openalex.org/W2053897590","https://openalex.org/W4241972157","https://openalex.org/W4242556954"],"abstract_inverted_index":{"Abstract":[0],"This":[1,123],"paper":[2,124],"describes":[3],"the":[4,9,21,26,37,42,47,55,58,72,76,82,90,101,105,144,153,156,159,170,174,179,183,186,206],"outline":[5],"and":[6,41,54,81,88,104,177],"implementation":[7],"of":[8,16,39,100,121,135,158,182,192,208],"declarative":[10,52],"debugging":[11,23],"system":[12,24,56,91,112,191],"DDS.":[13,136,209],"The":[14,34,137,162],"purpose":[15],"DDS":[17,193],"is":[18,69,79,109,139,164,194],"to":[19,46,71,117],"provide":[20],"following":[22],"for":[25],"functional":[27],"program":[28,48,184],"without":[29],"a":[30,51,118,126,140,148,165],"side":[31],"effect:":[32],"(1)":[33],"programmer":[35,73],"specifies":[36],"result":[38,44],"execution":[40],"intermediate":[43],"expected":[45],"(defines":[49],"in":[50,98,173],"way,":[53],"detects":[57],"bug":[59,95,160,175],"automatically":[60],"based":[61],"on":[62,196],"that":[63,75],"specification;":[64],"(2)":[65],"an":[66,93,110,132],"efficient":[67,94,133],"guide":[68],"provided":[70],"so":[74],"required":[77],"input":[78,83],"less":[80],"can":[84,114],"easily":[85],"be":[86,115],"given;":[87],"(3)":[89],"has":[92],"detection":[96,176],"mechanism":[97,127,141,166],"terms":[99],"memory":[102],"capacity":[103],"computational":[106],"complexity.":[107],"It":[108],"interactive":[111],"which":[113,130,142,167],"applied":[116],"wide":[119],"range":[120],"programs.":[122],"proposes":[125],"called":[128],"filter,":[129],"gives":[131],"realization":[134],"filter":[138,163],"realizes":[143],"tabulation":[145],"technique":[146,154],"by":[147,151],"small\u2010capacity":[149],"memory,":[150],"extending":[152],"from":[155],"viewpoint":[157],"detection.":[161],"selectively":[168],"retains":[169],"instances":[171],"needed":[172],"controls":[178],"function":[180],"call":[181],"using":[185,198],"retained":[187],"data.":[188],"An":[189],"experimental":[190],"constructed":[195],"VAX/VMS":[197],"Common":[199],"Lisp.":[200],"Debugging":[201],"examples":[202],"are":[203],"shown,":[204],"indicating":[205],"usefulness":[207]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}