M. Alpuente, F.J. Correa, M. Falaschi  Home/Search
Context Related
| dsic.upv.es/users/...ecl_debug_01.ps.gz 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 general framework for the declarative debugging of functional logic programs, which is valid both for eager as well as lazy programs. We associate with our programs a semantics based on a (continuous) immediate consequence operator which models computed answers. Then we show that, given the intended specification of a program P , it is possible to check the correctness of P by a single step of the immediate consequence operator. Our methodology can be used both for bottom-up ... (Update)
Context of citations to this paper: More
...a declarative diagnosis method w.r.t. computed answers which generalizes the ideas of [23] to the diagnosis of functional logic programs [2]. We additionally discuss the problem of modifying incorrect components of the initial program in order to form a practical debugging...
...a declarative diagnosis method w.r.t. computed answers which generalizes the ideas of [24] to the diagnosis of functional logic programs [2]. We additionally discuss the problem of modifying incorrect components of the initial program in order to form a practical debugging...
Cited by: More
A Debugging Scheme for Functional Logic Programs - Alpuente, Correa, Falaschi (2002) (Correct)
Similar documents (at the sentence level): More
36.7%: Declarative Debugging of Functional Logic Programs - Alpuente, Correa, Falaschi (2001) (Correct)
14.2%: A Compositional Semantics for - Conditional Term Rewriting (Correct)
7.9%: A Comositional Semantics for Conditional Term Rewriting Systems - Alpuente, al. (Correct)
Active bibliography (related documents): More All
0.5: Static Verification of UML Model Consistency - Baruzzo And Comini (Correct)
0.4: The Integration of Functions into Logic Programming: A Survey - Hanus (1994) (Correct)
0.3: A Declarative Debugger of Wrong Answers for Lazy.. - Caballero.. (2001) (Correct)
Similar documents based on text: More All
1.4: Correction of Functional Logic Programs - Alpuente, Ballis, Correa, Falaschi (2003) (Correct)
1.1: UPV-Curry User's Manual - Escobar, Alpuente, Lucas (2000) (Correct)
0.6: Specialization of Lazy Functional Logic Programs - Alpuente, al. (1997) (Correct)
Related documents from co-citation: More All
2: volume 16 of EATCS Monographs on Theoretical Computer Science (context) - Padawitz, Horn - 1988
2: Declarative modeling of the operational behavior of logic languages (context) - Falaschi, Levi et al. - 1989
2: Specialization of Logic Programs by Pruning SLD-Trees - Bostrom, Idestam-Almquist - 1994
BibTeX entry: (Update)
M. Alpuente, F. Correa, and M. Falaschi. Declarative Debugging of Functional Logic Programs. In B. Gramlich and S. Lucas, editors, Proc. of the International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001. http://citeseer.ist.psu.edu/article/alpuente01declarative.html More
@article{ alpuente01declarative,
author = "Maria Alpuente and Francisco J. Correa and Moreno Falaschi",
title = "Declarative Debugging of Functional Logic Programs",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "57",
year = "2001",
url = "citeseer.ist.psu.edu/article/alpuente01declarative.html" }
Citations (may not include all citations):815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
788 Rewrite Systems - Dershowitz, Jouannaud - 1990
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
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
121 Logic Programming with Functions and Predicates: The languag.. (context) - Moreno-Navarro, Rodr'iguez-Artalejo - 1992
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
59 Foundations of Equational Logic Programming (context) - Holldobler - 1989
52 Compiling Logic Programs with Equality (context) - Hanus - 1990
45 Declarative Programming in Escher - Lloyd - 1995
44 Higher-Order Narrowing with Definitional Trees - Hanus, Prehofer - 1996
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
38 On completeness of narrowing strategies (context) - Echahed - 1988
32 Error Diagnosis in Logic Programming (context) - Ferrand - 1987
29 Theoretical Computer Science (context) - Bosco, Giovannetti et al. - 1988
23 The use of assertions in algorithmic debugging (context) - Drabent, Nadjim-Tehrani et al. - 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 A declarative debugging scheme - Naish - 1997
18 Towards a portable lazy functional declarative debugger - Naish, Barbour - 1996
17 Journal of Logic Programming (context) - Comini, Levi et al. - 1999
16 Declarative Diagnosis Revisited - Comini, Levi et al. - 1995
16 Analyses of Unsatisfiability for Equational Logic Programmin.. (context) - Alpuente, Falaschi et al. - 1995
15 Watson Research Center (context) - Maher, Substitutions et al. - 1990
14 Abstract Rewriting (context) - Bert, Echahed et al. - 1993
8 Denotational Abstract Interpretation of Functional Logic Pro.. (context) - Zartmann - 1997
7 the Operational Semantics of the Algebraic and Logic Program.. - Bert, Echahed - 1995
6 Algorithmic Program Debugging (context) - Shaphiro - 1982
6 Technical Report SIP (context) - Caballero-Rold'an, L'opez-Fraguas et al. - 1997
4 A debugging model for functional logic programs (context) - Hanus, Josephs - 1993
4 Theoretical Foundations for the Declarative Debugging of Laz.. (context) - Caballero-Rold'an, L'opez-Fraguas et al. - 2001
3 A debugging model for lazy functional languages (context) - Arenas, Gil - 1994
2 Logic programs as specifications in the inductive verificati.. (context) - Comini, Gori et al. - 2000
1 Available at URL: http://www (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