Julio Mariño-Carballo, Angel Herranz-Nieva, Juan José Moreno-Navarro  Home/Search
Context Related
| lml.ls.fi.upm.es/~jjmor...demand_dep.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: In this paper we investigate the efficient implementation of lazy narrowing, the usual operational semantics of functional logic languages, making use of abstract interpretation. In order to avoid reevaluations of arguments in a function call, they must be evaluated as soon as possible. The detection of which (parts of the) arguments need evaluation is done by means of demandedness analysis. In contrast to previous approaches our analysis retains laziness and gives a very accurate... (Update)
Context of citations to this paper: More
...and right strict and also requires that the elements in the leaves be integers. Demandedness analysis for functional logic languages. In [30], the authors present a strictness analysis for languages with lazy narrowing. Their method uses algebraic simplification of what are...
Cited by: More
Demand Transformation Analysis for Concurrent Constraint.. - Falaschi, Hicks.. (1994) (Correct)
Active bibliography (related documents): More All
0.6: The Functional Logic Language BABEL and its Implementation on .. - Kuchen, Loogen (1996) (Correct)
0.5: Efficient Lazy Narrowing using Demandedness Analysis - Moreno-Navarro, Kuchen.. (Correct)
0.5: Partial Predicates for Demand Analysis - Mariño, Herranz-Nieva.. (2000) (Correct)
Similar documents based on text: More All
0.4: Teaching How to Derive Correct Concurrent Programs .. - Herranz, Carro.. (2004) (Correct)
0.4: From Executable Specifications to Java - Herranz, Maya, Moreno-Navarro (2003) (Correct)
0.3: Rapid Prototyping and Incremental Evolution Using SLAM - Herranz, Moreno-Navarro (2003) (Correct)
BibTeX entry: (Update)
Julio Mari~no-Carballo, Angel Herranz-Nieva, and J. J. Moreno-Navarro. Demandedness analysis with dependence information for functional logic languages. In ILPS Workshop on Global Compilation, pages 99--114, 1993. http://citeseer.ist.psu.edu/396536.html More
@misc{ no-carballo93demandedness,
author = "J. no-Carballo and A. Herranz-Nieva and J. Moreno-Navarro",
title = "Demandedness analysis with dependence information for functional logic
languages",
text = "Julio Mari~no-Carballo, Angel Herranz-Nieva, and J. J. Moreno-Navarro.
Demandedness analysis with dependence information for functional logic languages.
In ILPS Workshop on Global Compilation, pages 99--114, 1993.",
year = "1993",
url = "citeseer.ist.psu.edu/396536.html" }
Citations (may not include all citations):121 Logic Programming with Functions and Predicates: The Languag.. (context) - Moreno-Navarro, Rodr'iguez-Artalejo - 1992
114 Fundamental Properties of Infinite Trees (context) - Courcelle - 1983
94 Equations and Inequations on Finite and Infinite Trees (context) - Colmerauer - 1984
87 Narrowing as the Operational Semantics of Functional Languag.. (context) - Reddy - 1985
27 Evaluation Transformers -- A Model for the Parallel Evaluati.. (context) - Burn - 1987
24 Lazy Narrowing in a Graph Machine (context) - Moreno-Navarro, Kuchen et al. - 1990
23 ese de doctorat d (context) - Huet, equations et al.
17 Abstract Interpretation and Optimizing Transformation for Ap.. (context) - Mycroft - 1981
17 the Interaction of Lazy Evaluation and Backtracking - Hans, Loogen et al. - 1992
16 Strictness Detection in Non-flat Domains (context) - Hughes - 1985
12 Efficient Lazy Narrowing using Demandedness Analysis (context) - Moreno-Navarro, Kuchen et al. - 1993
7 Efficient Compilation of Lazy Narrowing into Prolog (context) - Jim'enez-Mart'in, no-Carballo et al. - 1992
7 From Reduction Machines to Narrowing Machines - Loogen - 1991
2 Specialized Compilation of Lazy Functional Logic Programs (context) - Herranz, no et al. - 1993
2 Abstract Interpretation for Demandedness Analysis (context) - no-Carballo, Moreno-Navarro
1 Full Indexing for Functional Logic Languages (context) - Hans, Kuchen et al.
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)
Efficient Lazy Narrowing using Demandedness Analysis - Moreno-Navarro, Kuchen.. (Correct)
Tuple Inheritance: A New Kind of Inheritance for.. - Juan Jos'e.. (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