Puri Arenas-Sanchez, Ana Gil-Luezas  Home/Search
Context
Related
| mozart.sip.ucm.es/papers...rep94_6.ps.Z 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: mozart.sip.ucm.es/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we present a debugging model for a lazy functional logic programming language whose semantics is based on lazy narrowing under a particular control regime: Demand Driven (dpt). dpt makes quite hard to predict the sequence of evaluations in computing head normal forms for total function applications. The order in which rules are applied in such computations can be different from its textual definition order. Moreover, demanded arguments are evaluated by computing the head normal... (Update)
Similar documents (at the sentence level):
32.2%: A Debugging Model for Lazy Functional Logic Languages - Puri Arenas-S'anchez (1994) (Correct)
Active bibliography (related documents): More All
1.8: A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, Fraguas, Artalejo (1993) (Correct)
0.5: Combining Lazy Narrowing with Disequality Constraints - Puri Arenas-S'anchez (1994) (Correct)
0.5: Expressivity of Functional-logic Languages and their Implementation - Navarro (1994) (Correct)
Similar documents based on text: More All
0.3: A Little User Manual for BabLog System - Araujo-Serna.. (1997) (Correct)
0.2: A Debugging Model for Lazy Narrowing - Puri Arenas-S'anchez (1995) (Correct)
0.2: A Rewriting Logic for Declarative Programming - González-Moreno.. (1996) (Correct)
BibTeX entry: (Update)
@misc{ arenas-sanchez-debugging,
author = "Puri Arenas-Sanchez and Ana Gil-Luezas",
title = "A Debugging Model for Lazy Functional Logic Languages",
url = "citeseer.ist.psu.edu/arenas-sanchez94debugging.html" }
Citations (may not include all citations):13 Milner: Principal type schemes for functional programs (context) - Damas - 1982
12 Moiso: An extension of WAM for K-LEAF: a WAM-based compilati.. (context) - Bosco, Cecchi - 1989
10 Palamidessi: KERNEL-LEAF: : A Logic plus Functional Language (context) - Giovannetti, Levi et al. - 1991
9 Rodr'iguez Artalejo: On the Completeness of Narrowing as the.. (context) - Moreno, Gonz'alez - 1993
7 Springer Verlag (context) - Loogen, machines et al. - 1991
6 Lock: the implementation of lazy narrowing (context) - Chakravarty - 1991
6 Rodr'iguez Artalejo: A Demand Driven Computation Strategy fo.. (context) - Loogen, Fraguas - 1993
6 Moreno Navarro: Efficient Compilation of Lazy Narrowing into.. (context) - Mart'in, no - 1992
5 into Prolog, Technical Report 25, LIENS, 1990, to appear in:.. (context) - Cheong, narrowing - 1990
4 The Journal of Logic Programming (context) - Narain, for et al. - 1986
3 on Programming Language Implementation and Logic Programming (context) - Antoy, in et al. - 1991
3 on Algebraic and Logic Programming (context) - Antoy, Trees et al. - 1992
3 on Functional Languages and Computer Architecture (context) - Turner, functional et al. - 1985
2 Josephs: A Debugging Model for Functional Logic programs (context) - Hanus - 1993
2 iguez-Artalejo: Lazy Narrowing in a graph machine (context) - Kuchen, Loogen et al. - 1990
2 iguez Artalejo: : Logic Programming with Functions and Predi.. (context) - Navarro, Rodr - 1992
2 Toyn: Adapting combinator and SECD machines to display snaps.. (context) - Runciman - 1986
2 O'Donnell: Debugging in applicative languages (context) - Hall - 1988
2 Hortal'a-G'onzalez: Babel (context) - Gil-Luezas, L'opez-Fraguas - 1992
2 Latendresse: A Debugging Environment for Lazy Functional Lan.. (context) - Lapalme - 1992
2 iguez-Artalejo: Graph Based Implementation of a Functional L.. (context) - Kuchen, Loogen et al. - 1990
2 Computer an System Sciences (context) - Milner, of et al. - 1978
Documents on the same site (http://mozart.sip.ucm.es/papers/): More
A correctness proof for Warren's HO into FO translation - Gonzalez-Moreno (1993) (Correct)
Action and Change in Rewriting Logic - Martí-Oliet, Meseguer (1996) (Correct)
GOTA Algebras - Lago, Artalejo (1996) (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