Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
An Integrated Framework for the Diagnosis and Correction of Rule-Based Programs
 

Summary: An Integrated Framework for the Diagnosis
and Correction of Rule-Based Programs
M. Alpuente a
, D. Ballis b,, F. Correa c
, M. Falaschi d
a ELP-DSIC, Universidad Polit´ecnica de Valencia, Valencia, Spain
(alpuente@dsic.upv.es)
b Universit`a di Udine, Udine, Italy (demis.ballis@dimi.uniud.it)
c U. EAFIT, Medellin, Colombia (fcorrea@eafit.edu.co)
d Universit`a di Siena, Siena, Italy (moreno.falaschi@unisi.it)
Abstract
We 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 com-
bination (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 to our programs a semantics that is based on a
(continuous) immediate consequence operator, TR, which models the answers com-

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences