M. Alpuente, D. Ballis, F. J. Correa, M. Falaschi  Home/Search
Context
Related
| dsic.upv.es/users/elp/mar...esop2003.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dsic.upv.es/users/elp/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 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,... (Update)
Similar documents (at the sentence level):
7.6%: Declarative Debugging of Functional Logic Programs - Alpuente, Correa, Falaschi (2001) (Correct)
6.9%: A Debugging Scheme for Functional Logic Programs - Alpuente, Correa, Falaschi (2001) (Correct)
Active bibliography (related documents): More All
0.8: AND/OR Trees for the Learning of Functional Logic.. - Ferri-Ramírez.. (2001) (Correct)
0.7: Buggy User's Manual - Alpuente, Correa (Correct)
0.4: Learning Functional Logic Classification Concepts.. - Ferri-Ramírez.. (2000) (Correct)
Similar documents based on text: More All
1.1: Specialization of Lazy Functional Logic Programs - Alpuente, al. (1997) (Correct)
0.8: Narrowing-driven Partial Evaluation of Functional Logic.. - Alpuente, Falaschi, Vidal (1996) (Correct)
0.8: Safe Folding/Unfolding with Conditional Narrowing - Alpuente, Falaschi, Moreno.. (1997) (Correct)
BibTeX entry: (Update)
@misc{ alpuente-correction,
author = "M. Alpuente and D. Ballis and F. J. Correa and M. Falaschi",
title = "Correction of Functional Logic Programs",
url = "citeseer.ist.psu.edu/583157.html" }
Citations (may not include all citations):474 Term Rewriting Systems - Klop - 1992
353 Term Rewriting and All That (context) - Baader, Nipkow - 1998
254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
193 Abstract Interpretation: A Uni ed Lattice Model for Static A.. (context) - Cousot, Cousot - 1977
129 Transformation of Logic Programs: Foundations and Techniques (context) - Pettorossi, Proietti - 1994
128 Declarative Modeling of the Operational Behavior of Logic La.. (context) - Falaschi, Levi et al. - 1989
89 Kernel Leaf: A Logic plus Functional Language (context) - Giovannetti, Levi et al. - 1991
87 Narrowing as the Operational Semantics of Functional Languag.. (context) - Reddy - 1985
68 A Model-Theoretic Reconstruction of the Operational Semantic.. (context) - Falaschi, Levi et al. - 1993
61 Equivalences of Logic Programs (context) - Maher - 1988
35 Logic Programming with Functions and Predicates: The languag.. (context) - Moreno-Navarro, Rodr - 1992
35 Simplifying Conditional Term Rewriting Systems: Uni cation (context) - Kaplan - 1987
25 volume 16 of EATCS Monographs on Theoretical Computer Scienc.. (context) - Padawitz, Horn - 1988
19 Context-Sensitive Rewriting Strategies - Lucas - 2002
16 A Transformation System for Lazy Functional Logic Programs - Alpuente, Falaschi et al. - 1999
16 Declarative Diagnosis Revisited - Comini, Levi et al. - 1995
15 Deductive and Inductive Synthesis of Equational Programs - Dershowitz, Reddy - 1993
14 Transformation of Logic Programs - Pettorossi, Proietti - 1998
13 Foundations of Equational Logic Programming (context) - olldobler - 1989
9 Safe foldingunfolding with conditional narrowing - Moreno, folding et al. - 1997
8 A Strong Complete Schema for Inductive Functional Logic Prog.. (context) - Hern, Ram - 1999
8 LSE Narrowing for Decreasing Conditional Term Rewrite System.. (context) - Bockmayr, Werner - 1995
7 First Order Uni cation in an Equational Theory (context) - Fay - 1979
7 The FLIP System Homepage (context) - Ferri, Hern et al. - 2000
6 Specialization of recursive predicates (context) - Bostrom - 1995
6 Error Correcting Source Code - Ajiro, Ueda et al. - 1998
5 Inverse Narrowing for the Induction of Functional Logic Prog.. (context) - Hern, Ram - 1998
5 Moded at GHC and its message-oriented implementation techniq.. (context) - Ueda, Morita - 1994
4 The Debugging System buggy (context) - Alpuente, Correa et al. - 2001
3 Induction of Logic Programs by Example{guided Unfolding - Bostrom, Idestam-Alquist - 1999
3 Debugging Scheme of Functional Logic Programs - Alpuente, Correa et al. - 2002
3 Incremental Learning of Functional Logic Programs (context) - Ferri, Hern et al. - 2001
3 Declarative Debugging of Funtional Logic Programs (context) - Alpuente, Correa et al. - 2001
1 Assertion based Inductive Veri cation Methods for Logic Prog.. (context) - Comini, Gori et al. - 2001
1 Rules and Strategies for Transforming Functional Logic Progr.. (context) - Moreno - 2000
1 an Automated Error Correction System for Concurrent Logic Pr.. (context) - Ajiro, Ueda - 2002
1 Termination of Canonical Context-Sensitive Rewriting - Lucas - 2002
Documents on the same site (http://www.dsic.upv.es/users/elp/papers.html): More
SYNTH User's Manual - Alpuente, Ferri, Vidal, Moreno, al. (1999) (Correct)
Reconfigurable Nets, a Class of High Level Petri Nets.. - Badouel, Oliver (1998) (Correct)
UPV-Curry User's Manual - Escobar, Alpuente, Lucas (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC