Elvira Albert, María Alpuente, Michael Hanus, Germán Vidal  Home/Search
Context Related
| dsic.upv.es/users/elp/ger...paper.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/ge...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays to functional logic programs. We show how to lift the nondeterministic choices from run time to specialization time. We ascertain the conditions under which the original and the transformed program have the same answer expressions for the considered class of queries as well as the same oundering behavior. (Update)
Similar documents based on text: More All
0.7: A Partial Evaluation Framework for Curry Programs - Albert, Alpuente, Hanus, Vidal (1999) (Correct)
0.7: A Practical Partial Evaluator for a Multi-Paradigm.. - Albert, Hanus, Vidal (2001) (Correct)
0.7: Specialization of Functional Logic Programs Based on.. - Alpuente, Hanus.. (1999) (Correct)
Related documents from co-citation: More All
8: Curry: An Integrated Functional Logic Language (context) - Hanus - 1999
8: A Needed Narrowing Strategy - Antoy, Echahed et al. - 1994
7: Tutorial notes on partial evaluation (context) - Consel, Danvy - 1993
BibTeX entry: (Update)
E. Albert, M. Alpuente, M. Hanus, and G. Vidal. A Partial Evaluation Framework for Curry Programs. In Proc. of LPAR'99. http://citeseer.ist.psu.edu/albert99partial.html More
@inproceedings{ albert99partial,
author = "Elvira Albert and Maria Alpuente and Michael Hanus and German Vidal",
title = "A Partial Evaluation Framework for Curry Programs",
booktitle = "Logic Programming and Automated Reasoning",
pages = "376-395",
year = "1999",
url = "citeseer.ist.psu.edu/albert99partial.html" }
Citations (may not include all citations):788 Rewrite Systems - Dershowitz, Jouannaud - 1990
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
271 The Oz Programming Model - Smolka - 1995
254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
224 Partial Evaluation in Logic Programming (context) - Lloyd, Shepherdson - 1991
206 Tutorial notes on Partial Evaluation (context) - Consel, Danvy - 1993
171 A Needed Narrowing Strategy - Antoy, Echahed et al. - 1994
89 Kernel Leaf: A Logic plus Functional Language (context) - Giovannetti, Levi et al. - 1991
89 Curry: An Integrated Functional Logic Language (context) - Hanus - 1999
82 Tutorial on Specialisation of Logic Programs (context) - Gallagher - 1993
78 A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, opez-Fraguas et al. - 1993
56 An Introduction to Partial Evaluation (context) - Jones - 1996
49 Negation and Control in Prolog (context) - Naish - 1987
48 A Conceptual Embedding of Folding into Partial Deduction: To.. (context) - Leuschel, De Schreye et al. - 1996
45 Declarative Programming in Escher - Lloyd - 1995
39 Partial Evaluation of Functional Logic Programs - Alpuente, Falaschi et al. - 1998
36 A uni ed computation model for functional and logic programm.. (context) - Hanus - 1997
35 Logic Programming with Functions and Predicates: The languag.. (context) - Moreno-Navarro, Rodr - 1992
31 Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi et al. - 1997
28 Adding equations to NU-Prolog - Naish - 1991
24 Optimal non-deterministic functional logic computations - Antoy - 1997
23 Combining Functional and Logic Programming Languages (context) - Lloyd - 1994
20 Le Fun: Logic (context) - t-Kaci, Lincoln et al. - 1987
14 Specialization of Functional Logic Programs Based on Needed .. - Alpuente, Hanus et al. - 1999
12 Analysis of Residuating Logic Programs (context) - Hanus - 1995
9 A Transformation System for CLP with Dynamic Scheduling and .. - Etalle, Gabbrielli et al. - 1997
9 De nitional trees (context) - Antoy - 1992
6 Partial Deduction and Driving are Equivalent - Gl, rensen - 1994
3 An Overview of LIFE (context) - t-Kaci
3 Available from URL httpwww (context) - Falaschi, User et al. - 1998
2 Partial Evaluation of Residuating Functional Logic Programs (context) - Albert, Alpuente et al. - 1999
2 Avoiding Dynamic Delays in Functional Logic Languages (context) - Boye - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dsic.upv.es/users/elp/german/papers.html): More
An Operational Semantics for Declarative.. - Albert, Hanus, Huch.. (2002) (Correct)
Forward Slicing by Partial Evaluation - Vidal (Correct)
Uniform Lazy Narrowing - Alpuente, Falaschi, Julian, Vidal (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