M. Alpuente  Home/Search
Context Related
| dsic.upv.es/users/elp/mari...acf02tr.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 present a generic scheme for the declarative debugging of functional logic programs which is valid for eager as well as lazy programs. In particular we show that the framework extends naturally some previous work and applies to the most modern lazy strategies, such as needed narrowing. First we associate to our pro- grams a semantics based on a (continuous) immediate consequence operator, which models computed answers. We show that, given the intended specification of a program 7, it is... (Update)
Context of citations to this paper: More
.... This speci cation I may be partial or complete, and can be expressed in several ways: for instance, by (another) functional logic program [7, 3], by an assertion language [12] or by equation sets (in the case when it is nite) Our methodology is based on abstract...
...an Appendix where we show a debugging session of our prototype implementation, Buggy. More details and missing proofs can be found in [3]. 2 Preliminaries Let us briefly recall some known results about rewrite systems [13,38] and functional logic programming (see [34,37]...
Cited by: More
A Memoizing Semantics for - Functional Logic Languages (Correct)
A Debugging Scheme for Functional Logic Programs - Alpuente, Correa, Falaschi (2002) (Correct)
Correction of Functional Logic Programs - Alpuente, Ballis, Correa, Falaschi (2003) (Correct)
Similar documents (at the sentence level):
11.7%: Declarative Debugging of Functional Logic Programs - Alpuente, Correa, Falaschi (2001) (Correct)
Active bibliography (related documents): More All
0.5: Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (Correct)
0.5: Buggy User's Manual - Alpuente, Correa (Correct)
0.4: An Evaluation Semantics for Narrowing-Based Functional Logic.. - Hanus, Lucas (2000) (Correct)
Similar documents based on text: More All
0.6: Specialization of Lazy Functional Logic Programs - Alpuente, al. (1997) (Correct)
0.5: Safe Folding/Unfolding with Conditional Narrowing - Alpuente, Falaschi, Moreno.. (1997) (Correct)
0.5: Experiments with the Call-by-Value Partial Evaluator - Alpuente, al. (1998) (Correct)
Related documents from co-citation: More All
3: The Integration of Functions into Logic Programming: From Theory to Practice (context) - Hanus - 1994
2: volume 16 of EATCS Monographs on Theoretical Computer Science (context) - Padawitz, Horn - 1988
2: Term rewriting systems - Klop - 1992
BibTeX entry: (Update)
M. Alpuente, F. J. Correa, and M. Falaschi. Debugging Scheme of Functional Logic Programs. In M. Hanus, editor, Proc. of International Workshop on Functional and (Constraint) Logic Programming, WFLP'01, volume 64 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2002. http://citeseer.ist.psu.edu/article/alpuente02debugging.html More
@misc{ alpuente02debugging,
author = "M. Alpuente and F. Correa and M. Falaschi",
title = "Debugging Scheme of Functional Logic Programs",
text = "M. Alpuente, F. J. Correa, and M. Falaschi. Debugging Scheme of Functional
Logic Programs. In M. Hanus, editor, Proc. of International Workshop on
Functional and (Constraint) Logic Programming, WFLP'01, volume 64 of Electronic
Notes in Theoretical Computer Science. Elsevier Science Publishers, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/article/alpuente02debugging.html" }
Citations (may not include all citations):474 Term Rewriting Systems - Klop - 1992
353 Term Rewriting and All That (context) - Baader, Nipkow - 1998
313 Inductive Logic Programming: Theory and methods - Muggleton, de Raedt - 1994
254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
171 A Needed Narrowing Strategy - Antoy, Echahed et al. - 2000
128 Declarative Modeling of the Operational Behavior of Logic La.. (context) - Falaschi, Levi et al. - 1989
118 Complete Axiomatizations of the Algebras of Finite (context) - Maher - 1988
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
81 SLOG: a logic programming language interpreter based on clau.. (context) - Fribourg - 1985
68 A Model-Theoretic Reconstruction of the Operational Semantic.. (context) - Falaschi, Levi et al. - 1993
66 Definitional trees - Antoy - 1992
61 Equivalences of Logic Programs (context) - Maher - 1988
52 Compiling Logic Programs with Equality (context) - Hanus - 1990
44 Higher-Order Narrowing with Definitional Trees - Hanus, Prehofer - 1999
43 Curry: A Truly Functional Logic Language - Hanus, Kuchen et al. - 1995
41 logic and functional programming language (context) - Bert, Echahed et al. - 1986
40 Suspension Analysis for Concurrent Logic Programs (context) - Codish, Falaschi et al. - 1991
39 Programming in an integrated functional and logic language - Lloyd - 1999
39 Partial Evaluation of Functional Logic Programs - Alpuente, Falaschi et al. - 1998
38 On completeness of narrowing strategies (context) - Echahed - 1988
35 Logic Programming with Functions and Predicates: The languag.. (context) - Moreno-Navarro, Rodffguez-Artalejo - 1992
32 Error Diagnosis in Logic Programming (context) - Ferrand - 1987
29 Theoretical Computer Science (context) - Bosco, Giovannetti et al. - 1988
25 volume 16 of EATCS Monographs on Theoretical Computer Scienc.. (context) - Padawitz, Horn - 1988
23 the role of semantic approximations in validation and diagno.. (context) - Bueno, Deransart et al. - 1997
22 Uniform narrowing strategies (context) - Echahed - 1992
21 Specialization of Logic Programs by Pruning sld-trees - Bostrom, Idestam-Alquist - 1994
19 Enumerating outer narrowing derivations for constructor-base.. (context) - You - 1989
17 Journal of Logic Programming (context) - Comini, Levi et al. - 1999
16 A Transformation System for Lazy Functional Logic Programs - Alpuente, Falaschi et al. - 1999
16 Analyses of Unsatisfiability for Equational Logic Programmin.. (context) - Alpuente, Falaschi et al. - 1995
16 Declarative Diagnosis Revisited - Comini, Levi et al. - 1995
15 Watson Research Center (context) - Maher, Substitutions et al. - 1990
14 Abstract Rewriting (context) - Bert, Echahed et al. - 1993
12 Integrating Algorithmic Debugging and Unfolding Transformati.. (context) - Alexin, Gyimdthy et al. - 1996
9 Safe foldingunfolding with conditional narrowing - Moreno, folding et al. - 1997
9 A Compositional Semantic Basis for the Analysis of Equationa.. - Alpuente, Falaschi et al. - 1996
7 the Operational Semantics of the Algebraic and Logic Program.. - Bert, Echahed - 1995
6 Algorithmic Program Debugging (context) - Shaphiro - 1982
6 Semantics-Based Analysis and Transformation of Functional Lo.. (context) - Vidal - 1996
4 Evaluation Strategies for Functional Logic Programming - Antoy - 2001
3 Induction of Logic Programs by Example- guided Unfolding - Bostrom, Idestam-Alquist - 1999
2 Declarative Debugging of Functional Logic Programs - Alpuente, Correa et al. - 2001
2 On Narrowing Strategies for Partial Non-Strict Functions (context) - Frutos-Escrig, Fernndez-Camacho - 1991
1 Technical Report SIP (context) - Caballero-Roldn, pez-Fraguas et al. - 1997
1 Foundations of Equational Logic Programming (context) - dobler - 1989
1 The Debugging System BUCCY (context) - Alpuente, Correa et al. - 2001
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