An integrated framework for the diagnosis and correction of rule-based programs

Vista sencilla de ítem
dc.citation.journalTitleTHEORETICAL COMPUTER SCIENCE
dc.contributor.authorAlpuente, M.
dc.contributor.authorBallis, D.
dc.contributor.authorCorrea, F.
dc.contributor.authorFalaschi, M.
dc.contributor.departmentUniversidad EAFIT. Departamento de Cienciasspa
dc.contributor.researchgroupLógica y Computaciónspa
dc.creatorAlpuente, M.
dc.creatorBallis, D.
dc.creatorCorrea, F.
dc.creatorFalaschi, M.
dc.date.accessioned2021-03-26T21:32:04Z
dc.date.available2021-03-26T21:32:04Z
dc.date.issued2010-10-29
dc.description.abstractWe present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it is possible to debug a program and then correct it automatically. Our methodology is based on the combination (in a single framework) of a semantics-based diagnoser that identifies those parts of the code that contain errors and an inductive learner that tries to repair them, once the bugs have been located in the program. We develop our methodology in several steps. First, we associate with our programs a semantics that is based on a (continuous) immediate consequence operator, TR, which models the answers computed by narrowing and is parametric w.r.t. the evaluation strategy, which can be eager or lazy. Then, we show that, given the intended specification of a program R, it is possible to check the correctness of R by a single step of TR. In order to develop an effective debugging method, we approximate the computed answers semantics of R and derive a finitely terminating bottom-up abstract diagnosis method, which can be used statically. Finally, a bug-correction program synthesis methodology attempts to correct the erroneous components of the wrong code. We propose a hybrid, top-down (unfolding-based) as well as bottom-up (induction-based), correction approach that is driven by a set of evidence examples which are automatically produced as an outcome by the diagnoser. The resulting program is proven to be correct and complete w.r.t. the considered example sets. Our debugging framework does not require the user to provide error symptoms in advance or to answer difficult questions concerning program correctness. An implementation of our debugging system has been undertaken which demonstrates the workability of our approach. © 2010 Elsevier B.V. All rights reserved.eng
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=1910
dc.identifier.doi10.1016/j.tcs.2010.07.009
dc.identifier.issn03043975
dc.identifier.issn18792294
dc.identifier.otherWOS;000283695700002
dc.identifier.otherSCOPUS;2-s2.0-77957819191
dc.identifier.urihttp://hdl.handle.net/10784/27338
dc.languageeng
dc.publisherELSEVIER SCIENCE BV
dc.relation.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-77957819191&doi=10.1016%2fj.tcs.2010.07.009&partnerID=40&md5=e9d61f5c82a2bbc84bdb7c41e12fe092
dc.rightshttps://v2.sherpa.ac.uk/id/publication/issn/0304-3975
dc.sourceTHEORETICAL COMPUTER SCIENCE
dc.subjectDebuggingeng
dc.subjectDebugging methodseng
dc.subjectDebugging systemseng
dc.subjectDeclarative debuggingeng
dc.subjectDiagnosis methodseng
dc.subjectEvaluation strategieseng
dc.subjectFunctional logic programmingeng
dc.subjectIntegrated development environmenteng
dc.subjectIntegrated frameworkseng
dc.subjectNarrowingeng
dc.subjectProgram correctnesseng
dc.subjectProgram synthesiseng
dc.subjectProgram transformationseng
dc.subjectRule basedeng
dc.subjectSingle-stepeng
dc.subjectTopdowneng
dc.subjectFunctional programmingeng
dc.subjectLogic programmingeng
dc.subjectProgram debuggingeng
dc.subjectWeb serviceseng
dc.subjectProgram diagnosticseng
dc.titleAn integrated framework for the diagnosis and correction of rule-based programseng
dc.typearticleeng
dc.typeinfo:eu-repo/semantics/articleeng
dc.typeinfo:eu-repo/semantics/publishedVersioneng
dc.typepublishedVersioneng
dc.type.localArtículospa

Archivos

Bloque original
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
1-s2.0-S0304397510003956-main.pdf
Tamaño:
1.26 MB
Formato:
Adobe Portable Document Format
Descripción:
Descargar

Colecciones

Artículos