Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner  Home/Search
Context Related
| pdx.edu/~antoy/homepage/....paper.ps.gz informatik.unikiel.de/...paper10.ps.gz informatik.unikiel.de/~...PPDP01.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: pdx.edu/~antoy/hom...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes an implementation of narrowing, an essential component of implementations of modern functional logic languages. These implementations rely on narrowing, in particular on some optimal narrowing strategies, to execute functional logic programs. We translate functional logic programs into imperative (Java) programs without an intermediate abstract machine. A central idea of our approach is the explicit representation and processing of narrowing computations as data objects.... (Update)
Context of citations to this paper: More
.... that have been considered within a project aiming at the implementation of a back end for a wide class of functional logic languages [7]. In some cases, these techniques have the po tential to o er substantial improvements. In other cases, they tend to consume slightly more...
.... on an intermediate language to which functional, logic, and also integrated functional logic programs can be compiled (e.g. see [1, 5, 6, 17]) Thus, CIDER can be adapted to other declarative languages provided that there exists a front end to compile programs into this...
Cited by: More
Programming with Narrowing - Sergio Antoy Computer (Correct)
Functional Logic Design Patterns - Antoy, Hanus (2002) (Correct)
An Integrated Development Environment for Declarative.. - Hanus, Koj (2001) (Correct)
Similar documents (at the sentence level):
78.3%: An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) (Correct)
Active bibliography (related documents): More All
0.6: A Needed Narrowing Strategy - Antoy, Echahed, Hanus (1994) (Correct)
0.6: Compiling Multi-Paradigm Declarative Programs into Prolog - Antoy, Hanus (2000) (Correct)
0.4: Higher-Order Narrowing with Definitional Trees - Hanus (1999) (Correct)
Similar documents based on text: More All
0.3: Functional Logic Overloading - Neubauer, Thiemann, Gasbichler.. (2001) (Correct)
0.3: Greening of the Internet - Gupta, Singh (2003) (Correct)
0.3: A Parallel Narrowing Strategy - Antoy, Echahed, Hanus (1996) (Correct)
Related documents from co-citation: More All
5: Compiling Multi-Paradigm Declarative Programs into Prolog - Antoy, Hanus - 2000
5: Curry: An Integrated Functional Logic Language (context) - Hanus - 1999
4: A Needed Narrowing Strategy - Antoy, Echahed et al. - 1994
BibTeX entry: (Update)
S. Antoy, M. Hanus, B. Massey, and F. Steiner. An implementation of narrowing strategies. In Proc. of 3rd Int'l Conf. on Principles and Practice of Declarative Programming (PPDP'01). Springer LNCS, 2001. To appear. http://citeseer.ist.psu.edu/article/antoy01implementation.html More
@misc{ antoy01implementation,
author = "S. Antoy and M. Hanus and B. Massey and F. Steiner",
title = "An implementation of narrowing strategies",
text = "Proc. of 3rd Int'l Conf. on Principles and Practice of Declarative
Programming (PPDP'01). Springer LNCS, 2001. To appear.",
year = "2001",
url = "citeseer.ist.psu.edu/article/antoy01implementation.html" }
Citations (may not include all citations):353 Term Rewriting and All That (context) - Baader, Nipkow - 1998
254 The integration of functions into logic programming: From th.. (context) - Hanus - 1994
102 Computations in orthogonal rewriting systems (context) - Huet, evy - 1991
89 Curry: An Integrated Functional Logic Language (context) - Hanus - 2000
78 A demand driven computation strategy for lazy narrowing - Loogen, Fraguas et al. - 1993
69 Higher-order extensions to Prolog: are they needed (context) - Warren - 1982
65 Automated theorem-proving for theories with simpliers (context) - Slagle - 1974
48 Encapsulated search for higher-order concurrent constraint p.. - Schulte, Smolka - 1994
45 Call by need computations to root-stable form - Middeldorp - 1997
39 Programming in an integrated functional and logic language - Lloyd - 1999
36 A unied computation model for functional and logic programmi.. (context) - Hanus - 1997
28 Compiling multi-paradigm declarative programs into Prolog - Antoy, Hanus - 2000
24 Optimal non-deterministic functional logic computations - Antoy - 1997
20 Le Fun: Logic (context) - t-Kaci, Lincoln et al. - 1987
20 The Portland Aachen Kiel Curry System User Manual (context) - Hanus, Antoy et al. - 2000
19 Towards a clean amalgamation of logic programs with external.. (context) - Bonnier, Maluszynski - 1988
18 Denitional trees (context) - Antoy - 1992
17 Implementation of narrowing: The Prolog-based approach - Cheong, Fribourg - 1993
16 Controlling search in declarative programs - Hanus, Steiner - 1998
14 Higher-order narrowing with denitional trees (context) - Hanus, Prehofer - 1999
12 Constructor-based conditional narrowing - Antoy - 2001
12 An abstract machine for Curry and its concurrent implementat.. (context) - Hanus, Sadre - 1999
12 Relating the implementation techniques of functional and fun.. - Loogen - 1993
10 TOY: A Multiparadigm Declarative System (context) - opez-Fraguas, anchez-Hern - 1999
8 Needed narrowing in Prolog - Antoy - 1996
6 Ecient translation of lazy functional logic programs into Pr.. (context) - Hanus - 1995
5 A Multiparadigm Programming Language (context) - Janson - 1994
4 Towards the uniform implementation of declarative languages - Chakravarty, Lock - 1997
4 Implementing encapsulated search for a lazy functional logic.. (context) - Lux - 1999
3 Available httpwww (context) - Available, www et al. - 2001
Documents on the same site (http://www.cs.pdx.edu/~antoy/homepage/publications.html): More
Gödel with User-defined Evaluable Functions - Antoy, al. (1995) (Correct)
A Needed Narrowing Strategy - Antoy, Echahed, Hanus (1994) (Correct)
Parallel Evaluation Strategies for Functional Logic Languages - Antoy, Echahed, Hanus (1997) (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