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)
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
[Article contains additional citations not shown here]
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