Michael Hanus  Home/Search
Context
Related
| w3.cs.tuberlin.de/cs/ifb...hanus.ps.gz score.is.tsukuba.ac.jp/~c...hanus.ps.gz greyarea.is.tsukuba.ac.jp...hanus.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: w3.cs.tuberlin.de/cs/ifb/Tech... (more) From: greyarea.is.tsukuba.ac.jp/~cha... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we specify an operational semantics which combines the most important operational principles of functional logic languages, namely residuation and narrowing. Narrowing combines eOEcient evaluation principles of functional languages with the problem-solving capabilities of logic programming. Residuation restricts this combination but adds the possibility of concurrent computations. We show that it is possible to combine both principles in a simple and coherent way such that this... (Update)
Active bibliography (related documents): More All
0.5: Functional Logic Programming with Real Numbers - Arenas-Sánchez.. (Correct)
0.5: Some Applications of Functional-Logic Programming - Prehofer (1996) (Correct)
0.4: Curry: A Truly Functional Logic Language - Hanus, Kuchen, Moreno-Navarro (1995) (Correct)
Similar documents based on text: More All
0.4: Residuation and Guarded Rules for Constraint Logic Programming - Smolka (1993) (Correct)
0.2: A Partial Evaluation Framework for Curry Programs - Albert, Alpuente, Hanus, Vidal (1999) (Correct)
0.1: Analyzing the Core of Categorial Grammar - Areces, Bernardi (2001) (Correct)
BibTeX entry: (Update)
@misc{ hanus-simple,
author = "Michael Hanus",
title = "A Simple Operational Model for Concurrent Functional Logic Programming",
url = "citeseer.ist.psu.edu/1438.html" }
Citations (may not include all citations):788 Rewrite Systems - Dershowitz, Jouannaud - 1990
271 The Oz Programming Model - Smolka - 1995
254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
171 A Needed Narrowing Strategy - Antoy, Echahed et al. - 1994
89 Kernel LEAF: A Logic plus Functional Language (context) - Giovannetti, Levi et al. - 1991
87 Narrowing as the Operational Semantics of Functional Languag.. (context) - Reddy - 1985
81 SLOG: A Logic Programming Language Interpreter Based on Clau.. (context) - Fribourg - 1985
78 A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, Fraguas et al. - 1993
52 Compiling Logic Programs with Equality (context) - Hanus - 1990
48 Encapsulated Search for Higher-Order Concurrent Constraint P.. - Schulte, Smolka - 1994
45 Declarative Programming in Escher - Lloyd - 1995
43 Curry: A Truly Functional Logic Language - Hanus, Kuchen et al. - 1995
28 Adding equations to NU-Prolog - Naish - 1991
24 Lazy Narrowing in a Graph Machine (context) - Moreno-Navarro, Kuchen et al. - 1990
23 Combining Functional and Logic Programming Languages (context) - Lloyd - 1994
20 Le Fun: Logic (context) - t-Kaci, Lincoln et al. - 1987
19 Improving Control of Logic Programs by Using Functional Logi.. (context) - Hanus - 1992
17 An Overview of LIFE (context) - t-Kaci - 1990
13 SLD-resolution An Operational Semantics for Logic Programs w.. (context) - Boye - 1991
12 Analysis of Residuating Logic Programs (context) - Hanus - 1995
9 nitional Trees (context) - Antoy - 1992
4 A Parallel Narrowing Strategy - Antoy, Echahed et al. - 1996
2 EOEcient Translation of Lazy Functional Logic Programs into .. (context) - Hanus - 1995
2 Higher-Order Narrowing with Deĝnitional Trees (context) - Hanus, Prehofer - 1996
1 Combining Lazy Narrowing and Simpliĝcation (context) - Hanus - 1994
1 Multi-Paradigm Logic Programming (context) - Bosco, Giovannetti et al. - 1988
Documents on the same site (http://w3.cs.tu-berlin.de/cs/ifb/TechnB/96/28/): More
Disjunctive Chronolog - Gergatsoulis, Rondogiannis.. (1996) (Correct)
Call-by-Name Specialization of Functional Logic Programs - Alpuente, Falaschi.. (Correct)
An Overview of the Design of Distributed Oz - Haridi, Van Roy, Smolka (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