Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Correction of Functional Logic Programs ? M. Alpuente 1 D. Ballis 2 F. J. Correa 3 M. Falaschi 2

Summary: Correction of Functional Logic Programs ?
M. Alpuente 1 D. Ballis 2 F. J. Correa 3 M. Falaschi 2
1 DSIC, Universidad Politecnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071
Valencia, Spain. alpuente@dsic.upv.es.
2 Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy.
3 DIS, U. EAFIT, Cra. 49 N. 7 Sur 50, 3300 Medelln, Colombia. fcorrea@eafit.edu.co.
Abstract. We 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 iden-
tify wrong program rules w.r.t. an intended speci cation. 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


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


Collections: Computer Technologies and Information Sciences