{"id":"https://openalex.org/W2054862290","doi":"https://doi.org/10.1016/s1571-0661(04)80696-0","title":"Abstract Correction of First-Order Functional Programs","display_name":"Abstract Correction of First-Order Functional Programs","publication_year":2003,"publication_date":"2003-11-01","ids":{"openalex":"https://openalex.org/W2054862290","doi":"https://doi.org/10.1016/s1571-0661(04)80696-0","mag":"2054862290"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80696-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80696-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80696-0","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033696911","display_name":"Mar\u0131\u0301a Alpuente","orcid":"https://orcid.org/0000-0002-9268-1178"},"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":true,"raw_author_name":"M. Alpuente","raw_affiliation_strings":["DSIC, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain","DSIC, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071, Valencia, Spain"],"affiliations":[{"raw_affiliation_string":"DSIC, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]},{"raw_affiliation_string":"DSIC, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020998049","display_name":"Demis Ballis","orcid":"https://orcid.org/0000-0002-1048-1739"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"D. Ballis","raw_affiliation_strings":["Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy"],"affiliations":[{"raw_affiliation_string":"Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032149189","display_name":"Santiago Escobar","orcid":"https://orcid.org/0000-0002-3550-4781"},"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":true,"raw_author_name":"S. Escobar","raw_affiliation_strings":["DSIC, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain","DSIC, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071, Valencia, Spain"],"affiliations":[{"raw_affiliation_string":"DSIC, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]},{"raw_affiliation_string":"DSIC, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053216941","display_name":"Moreno Falaschi","orcid":"https://orcid.org/0000-0002-6659-3828"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"M. Falaschi","raw_affiliation_strings":["Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy"],"affiliations":[{"raw_affiliation_string":"Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012146310","display_name":"Salvador Lucas","orcid":"https://orcid.org/0000-0001-9923-2108"},"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":true,"raw_author_name":"S. Lucas","raw_affiliation_strings":["DSIC, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain","DSIC, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071, Valencia, Spain"],"affiliations":[{"raw_affiliation_string":"DSIC, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]},{"raw_affiliation_string":"DSIC, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071, Valencia, Spain","institution_ids":["https://openalex.org/I60053951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5012146310","https://openalex.org/A5020998049","https://openalex.org/A5032149189","https://openalex.org/A5033696911","https://openalex.org/A5053216941"],"corresponding_institution_ids":["https://openalex.org/I60053951"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1924357,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"86","issue":"3","first_page":"105","last_page":"122"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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/T10260","display_name":"Software Engineering Research","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.998199999332428,"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/correctness","display_name":"Correctness","score":0.9028370380401611},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7546226978302002},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7499630451202393},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4876221716403961},{"id":"https://openalex.org/keywords/style","display_name":"Style (visual arts)","score":0.4151320159435272},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.38242432475090027},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3598688542842865}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9028370380401611},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7546226978302002},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7499630451202393},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4876221716403961},{"id":"https://openalex.org/C2776445246","wikidata":"https://www.wikidata.org/wiki/Q1792644","display_name":"Style (visual arts)","level":2,"score":0.4151320159435272},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38242432475090027},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3598688542842865},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1016/s1571-0661(04)80696-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80696-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:air.uniud.it:11390/676241","is_oa":false,"landing_page_url":"http://hdl.handle.net/11390/676241","pdf_url":null,"source":{"id":"https://openalex.org/S4306401163","display_name":"Institutional Research Information System (University of Udine)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I129043915","host_organization_name":"University of Udine","host_organization_lineage":["https://openalex.org/I129043915"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:usiena-air.unisi.it:11365/38811","is_oa":false,"landing_page_url":"http://hdl.handle.net/11365/38811","pdf_url":null,"source":{"id":"https://openalex.org/S4377196319","display_name":"Use Siena air (University of Siena)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102064193","host_organization_name":"University of Siena","host_organization_lineage":["https://openalex.org/I102064193"],"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":"info:eu-repo/semantics/article"},{"id":"pmh:oai:zenodo.org:144628","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/144628","pdf_url":null,"source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"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":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80696-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80696-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.7900000214576721}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W32065266","https://openalex.org/W203247935","https://openalex.org/W1512750313","https://openalex.org/W1517456004","https://openalex.org/W1519330170","https://openalex.org/W1536163973","https://openalex.org/W1541434994","https://openalex.org/W1548037107","https://openalex.org/W1568706048","https://openalex.org/W1583295953","https://openalex.org/W1818509088","https://openalex.org/W1833440862","https://openalex.org/W1966571454","https://openalex.org/W1970810328","https://openalex.org/W1972733422","https://openalex.org/W1988185893","https://openalex.org/W1994272628","https://openalex.org/W2015788118","https://openalex.org/W2023700439","https://openalex.org/W2031847002","https://openalex.org/W2038856365","https://openalex.org/W2054839338","https://openalex.org/W2065555531","https://openalex.org/W2089111669","https://openalex.org/W2090180847","https://openalex.org/W2115737686","https://openalex.org/W2117123451","https://openalex.org/W2119717320","https://openalex.org/W2121754567","https://openalex.org/W2126018011","https://openalex.org/W3104144878","https://openalex.org/W4206370914","https://openalex.org/W4210650974","https://openalex.org/W4244488020","https://openalex.org/W4285719527","https://openalex.org/W4388310154","https://openalex.org/W6631997866","https://openalex.org/W6678546657","https://openalex.org/W6786253674"],"related_works":["https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4283160672","https://openalex.org/W1604988569"],"abstract_inverted_index":{"DEBUSSY":[0,95],"is":[1,54],"an":[2,42,91],"(abstract)":[3],"declarative":[4],"diagnosis":[5],"tool":[6,17],"for":[7,46],"functional":[8],"programs":[9,62],"which":[10,53,85],"are":[11,63,79],"written":[12],"in":[13,28,50],"OBJ":[14],"style.":[15],"The":[16],"does":[18],"not":[19],"require":[20],"the":[21,57,71,83,94],"user":[22],"to":[23,75,82],"either":[24],"provide":[25],"error":[26],"symptoms":[27],"advance":[29],"or":[30],"answer":[31],"any":[32],"question":[33],"concerning":[34],"program":[35,48],"correctness.":[36],"In":[37],"this":[38],"paper,":[39],"we":[40],"formalize":[41],"inductive":[43],"learning":[44],"methodology":[45],"repairing":[47],"bugs":[49],"OBJ-like":[51],"programs,":[52],"based":[55],"on":[56],"so-called":[58],"example-guided":[59],"unfolding[6].":[60],"Correct":[61],"synthesized":[64],"by":[65,93],"unfolding":[66],"and":[67],"removing":[68],"rules":[69],"of":[70],"faulty":[72],"program.":[73],"Rules":[74],"be":[76,87],"unfolded":[77],"(deleted)":[78],"selected":[80],"according":[81],"examples,":[84],"can":[86],"automatically":[88],"generated":[89],"as":[90],"outcome":[92],"diagnoser.":[96]},"counts_by_year":[],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}