Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans  Home/Search
Context
Related
| lml.ls.fi.upm.es/~jjm...demandedness.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: aaron.ls.fi.upm.es/~jj...paper_ab (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Functional logic programming languages have a functional syntax and use narrowing as operational semantics. Here we consider the efficient implementation of lazy narrowing, a strategy which only evaluates the arguments of a function application, if their evaluation is really demanded. For an efficient implementation of lazy narrowing it is crucial to evaluate the arguments as early as possible. Otherwise the arguments are frequently reevaluated. A demandedness analysis is used to detect... (Update)
Similar documents (at the sentence level):
10.4%: Full Indexing for Lazy Narrowing - Hans, Kuchen, Winkler (1993) (Correct)
5.4%: Result Directed Computing in a Functional Logic Language - Kuchen, López-Fraguas (1992) (Correct)
Active bibliography (related documents): More All
1.1: Expressivity of Functional-logic Languages and their Implementation - Navarro (1994) (Correct)
0.9: Implementing Disequality in the Lazy Functional.. - Kuchen.. (1992) (Correct)
0.8: Dynamic Detection of Determinism in Functional Logic Languages - Loogen, Winkler (1995) (Correct)
Similar documents based on text: More All
0.3: Demandedness Analysis with Dependence Information.. - Mariņo-Carballo.. (1993) (Correct)
0.2: On the Interaction of Lazy Evaluation and Backtracking - Hans, Loogen, Winkler (1992) (Correct)
0.1: Partial Predicates for Demand Analysis - Mariņo, Herranz-Nieva.. (2000) (Correct)
BibTeX entry: (Update)
@inproceedings{ morenonavarro93efficient,
author = "Juan Jose Moreno-Navarro and Herbert Kuchen and Julio Marino-Carballo and Stephan Winkler and Werner Hans",
title = "Efficient Lazy Narrowing using Demandedness Analysis",
booktitle = "{PLILP}",
pages = "167-183",
year = "1993",
url = "citeseer.ist.psu.edu/392815.html" }
Citations (may not include all citations):114 Fundamental Properties of Infinite Trees (context) - Courcelle - 1983
94 Equations and Inequations on Finite and Infinite Trees (context) - Colmerauer - 1984
35 Logic Programming: Functions (context) - DeGroot, Lindstrom - 1986
23 ese de doctorat d (context) - Huet, equations et al.
22 Rodr'iguez-Artalejo: Logic Programming with Functions and Pr.. (context) - Moreno-Navarro - 1992
21 Prolog II: Reference Manual and Theoretical Model (context) - Colmerauer
19 Levi: The Relation between Logic and Functional Languages (context) - Bellia - 1986
17 Rodr'iguez-Artalejo: Graph-based Implementation of a Functio.. (context) - Kuchen, Loogen et al. - 1990
17 Rodr'iguez-Artalejo: Lazy Narrowing in a Graph Machine (context) - Moreno-Navarro, Kuchen et al. - 1990
12 Sofi: Implementation of a Parallel Logic Plus Functional Lan.. (context) - Balboni, Bosco et al. - 1989
11 Rodr'iguez-Artalejo: BABEL: A functional and logic language .. (context) - Moreno-Navarro - 1989
9 Palamidessi: Using Resolution for a Sound and Efficient Inte.. (context) - Bosco, Cecchi et al. - 1989
8 al Programming Matters, Technical Report 16, Programming Met.. (context) - Hughes, Function - 1984
8 and Logic Progr (context) - Hanus, Programs et al. - 1990
8 on Logic Programming (context) - Reddy, the et al. - 1985
8 Rodr'iguez-Artalejo: Graph-Narrowing to Implement a Function.. (context) - Kuchen, Loogen et al. - 1992
5 Winkler: On the Interaction of Lazy Evaluation and Backtrack.. (context) - Hans, Loogen - 1992
4 Formal Language Theory: Perspectives and Open Problems (context) - Huet, Oppen et al. - 1980
3 and Logic Progr (context) - Muck, Narrowing et al. - 1990
2 Abstract Interpretation for Demandedness Analysis (context) - no-Carballo, Moreno-Navarro
1 Moreno-Navarro: Some Techniques for the Efficient Compilatio.. (context) - Jim'enez-Mart'in, no-Carballo - 1992
1 Winkler: Improving the Efficiency of Lazy Narrowing by Deman.. (context) - Hans, Kuchen et al.
1 APIC Studies in Data Processing no (context) - Colmerauer, Infinite et al.
1 Nivat: The Metric Space of Infinite Trees: Algebraic and Top.. (context) - Arnold - 1980
Documents on the same site (http://aaron.ls.fi.upm.es/~jjmoreno/paper_ab.html): More
Expressivity of Functional-logic Languages and their Implementation - Navarro (1994) (Correct)
Tuple Inheritance: A New Kind of Inheritance for.. - Juan Jos'e.. (Correct)
Graph-based Implementation of a Functional Logic Language - Kuchen, Loogen.. (1990) (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