Correction of functional logic programs

Vista sencilla de ítem
dc.citation.journalTitleLecture Notes In Computer Science
dc.contributor.authorAlpuente, M.
dc.contributor.authorBallis, D.
dc.contributor.authorCorrea, F.J.
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.J.
dc.creatorFalaschi, M.
dc.date.accessioned2021-03-26T21:32:04Z
dc.date.available2021-03-26T21:32:04Z
dc.date.issued2003-01-01
dc.description.abstractWe propose a new methodology for synthesizing correct functional logic programs. We aim to create an integrated development environment in which it is possible to debug a program and correct it automatically. We start from a declarative diagnoser that we have developed previously which allows us to identify wrong program rules w.r.t. an intended specification. Then a bug-correction, program synthesis methodology tries to correct the erroneous components of the wrong code. We propose a hybrid, top-down (unfolding-based) as well as bottom-up (induction-based), approach for the automatic correction of functional logic programs which 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. Finally, we also provide a prototypical implementation which we use for an experimental evaluation of our system. © Springer-Verlag Berlin Heidelberg 2003.eng
dc.identifierhttps://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=1847
dc.identifier.doi10.1007/3-540-36575-3_5
dc.identifier.issn03029743
dc.identifier.issn16113349
dc.identifier.otherWOS;000183012300005
dc.identifier.otherSCOPUS;2-s2.0-35248885168
dc.identifier.urihttp://hdl.handle.net/10784/27333
dc.languageeng
dc.publisherSPRINGER
dc.relation.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-35248885168&partnerID=40&md5=820e0c6447ed8b246de8955bd684b563
dc.rightshttps://v2.sherpa.ac.uk/id/publication/issn/0302-9743
dc.sourceLecture Notes In Computer Science
dc.subjectProgram debuggingeng
dc.subjectWeb serviceseng
dc.subjectAutomatic correctionseng
dc.subjectBottom upeng
dc.subjectExperimental evaluationeng
dc.subjectFunctional logic programseng
dc.subjectIntegrated development environmenteng
dc.subjectProgram synthesiseng
dc.subjectPrototypical implementationeng
dc.subjectTopdowneng
dc.subjectLogic programmingeng
dc.titleCorrection of functional logic 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:
3-540-36575-3_5.pdf
Tamaño:
761.98 KB
Formato:
Adobe Portable Document Format
Descripción:
Descargar

Colecciones

Artículos