Kerstin Eder University of Bristol, Department of Computer Science,...  Home/Search
Context
Related
| cs.bris.ac.uk/Publication...1000372.pdf 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: cs.bris.ac.uk/Pu...other_pubs.jsp (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Escher is a functional logic programming language which is based on a rewriting computational model with residuation. Similar to purely functional languages, computation is regarded as the successive application of rewrite rules to an expression until the expression cannot be reduced further; there is only one computation path. Logic computations are integrated into functional computations via a well-chosen collection of rewrite rules that allow to handle the logic connectives,... (Update)
Similar documents (at the sentence level): More
69.9%: Implementing Escher on a Graph Reduction Machine - Eder (1999) (Correct)
9.9%: Yet another way of Set-processing: The Escher style and its.. - Eder (1999) (Correct)
9.3%: Yet another way of Set-processing: - The Escher Style (Correct)
Active bibliography (related documents): More All
0.3: An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) (Correct)
0.3: Implementation Issues for Functional Logic Programming - Kuchen (Correct)
0.3: Markup Languages for Functional-Logic Programming - Boley (2000) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@inproceedings{ eder99implementing,
author = "Kerstin Eder",
title = "Implementing Escher on a Graph Reduction Machine",
booktitle = "Proceedings of the International Workshop on Implementation of Declarative Languages ({IDL}'99)",
publisher = "K. Sagonas (Uppsala University) and P. Tarau (University of North Texas & BinNet Corporation, USA)",
address = "PLI'99, Paris, France, September 1999",
pages = "1--20",
year = "1999",
url = "citeseer.ist.psu.edu/742479.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
395 An Abstract Prolog Instruction Set (context) - Warren - 1983
89 Curry: An Integrated Functional Logic Language (context) - Hanus - 1999
84 Lambda lifting: Transforming programs to recursive equations - Johnsson - 1985
52 Compiling Logic Programs with Equality (context) - Hanus - 1990
39 Programming in an Integrated Functional and Logic Language - Lloyd - 1999
35 Logic Programming with Functions and Predicates: The Languag.. (context) - Moreno-Navarro, Rodr - 1992
26 cient Purely Declarative Logic Programming Language (context) - Somogyi, Henderson et al. - 1996
24 Graph-based Implementation of a Functional Logic Language - Kuchen, Loogen et al. - 1990
23 Dynamic Detection of Determinism in Functional Logic Languag.. - Loogen, Winkler - 1991
20 Or-parallel Execution Models of Prolog (context) - Warren - 1987
13 The Implementation of Functional Logic Programming Languages (context) - Lock - 1993
12 Relating the Implementation Techniques of Functional and Fun.. - Loogen - 1993
11 The Implementation of Functional Programming Languages (context) - Peyton-Jones - 1987
6 Sharing and Non-determinism in Resolution Based Functional L.. (context) - Liu, Evaluation - 1993
5 Implementing the Rewriting Computational Model of Escher - Eder - 1998
4 Higher-Order Logic as a Basis for Abstract Machines Implemen.. (context) - Chakravarty - 1995
4 cient Compilation of Pattern Matching (context) - Wadler - 1987
4 The JUMP-machine: A Generic Basis for the Integration of Dec.. - Chakravarty, Lock - 1994
4 Towards the Uniform Implementation of Declarative Languages - Chakravarty, Lock - 1997
3 A Graph Reduction Technique and an Extension to the G-Machin.. - Maraist, Silbermann - 1994
3 Yet another way of set-processing: The Escher style and its .. - Eder - 1999
2 Published by Springer-Verlag in Lecture Notes in Computer Sc.. (context) - Kuchen, Loogen et al. - 1990
1 Implementing lazy Functional Languages on Stock Hardware: Th.. (context) - Peyton-Jones - 1993
1 The Brisk Machine: A Simpli#ed STG Machine - Holyer, Spiliopoulou - 1998
1 A Non-strict Purely Functional Language #Version (context) - Peterson, Hammond et al. - 1997
Documents on the same site (http://www.cs.bris.ac.uk/Publications/other_pubs.jsp): More
Practical Model-Based Static Analysis for Definite Logic.. - Gallagher, Boulanger.. (1995) (Correct)
A Sophisticated Shell Environment - Pehlivan (2000) (Correct)
Visual Abstraction of Wildlife Footage using Gaussian.. - Gibson, Campbell, Thomas (2002) (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