Herbert Kuchen, Rita Loogen  Home/Search
Context Related
| danae.unimuenster.de/lehre/ku...ngc.ps lml.ls.fi.upm.es/~jjmore...ibam_jl.ps.Z babel.ls.fi.upm.es/pape...ibam_jl.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: danae.unimuenster.de/...papersFL (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The first-order, untyped, functional logic language Babel is extended by polymorphic types and higher order functions. A sophisticated incompatibility check which is used to guarantee nonambiguity of BABEL programs is presented. For the implementation of the language, unification and backtracking are integrated in a programmed (functional) graph reduction machine. The implementation of this machine has been used for a comparison between Babel and PROLOG based on the runtimes of some... (Update)
Context of citations to this paper: More
...very confusing. This nondeterministic approach would t better in a integrated functional logic language like Curry [HKMN95] or Babel [KLMNRA96], than in a purely functional one. 3.2 Additional Features Sometimes it is necessary to restrict the possible matches of a context...
...very confusing. This nondeterministic approach would t better in a integrated functional logic language like Curry [HKMN95] or Babel [KLMNRA96], than in a purely functional one. 2.2 Additional Features Sometimes it is necessary to restrict the possible matches of a context...
Cited by: More
Implementing Context Patterns in the Glasgow Haskell Compiler - Mohnen, Tobies (1997) (Correct)
Context Patterns in Haskell - Mohnen (1996) (Correct)
Similar documents (at the sentence level):
6.0%: Graph-based Implementation of a Functional Logic Language - Kuchen, Loogen.. (1990) (Correct)
Active bibliography (related documents): More All
2.2: Implementation Issues for Functional Logic Programming - Kuchen (Correct)
1.3: The Integration of Functions into Logic Programming: A Survey - Hanus (1994) (Correct)
0.9: A VHDL Specification of a Shared Memory Parallel.. - Hans, Ruz.. (Correct)
Similar documents based on text: More All
0.6: Lazy Narrowing in a Graph Machine - Moreno-Navarro, Kuchen, Loogen.. (1990) (Correct)
0.5: Implementing a Lazy Functional Logic Language with.. - Kuchen.. (1992) (Correct)
0.5: Dynamic Detection of Determinism in Functional Logic Languages - Loogen, Winkler (1995) (Correct)
Related documents from co-citation: More All
2: Report on the Programming Language Haskell ¯ A Non-strict (context) - Hudak, Jones et al. - 1992
2: The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
2: Clean - a language for functional graph rewriting (context) - Brus, van Eekelen et al. - 1987
BibTeX entry: (Update)
H. Kuchen, R. Loogen, J.J. Moreno-Navarro, and M. RodriguezArtalejo. The Functional Logic Language BABEL and its Implementation on a Graph Machine. New Generation Computing, 14:391427, 1996. http://citeseer.ist.psu.edu/kuchen96functional.html More
@article{ kuchen96functional,
author = "Herbert Kuchen and Rita Loogen and Juan Jose Moreno-Navarro and Mario Rodriguez-Artalejo",
title = "The Functional Logic Language {BABEL} and Its Implementation on a Graph Machine",
journal = "New Generation Computing",
volume = "14",
number = "4",
pages = "391-427",
year = "1996",
url = "citeseer.ist.psu.edu/kuchen96functional.html" }
Citations (may not include all citations):809 A Theory of Type Polymorphism in Programming (context) - Milner - 1978
395 An Abstract PROLOG Instruction Set (context) - Warren - 1983
343 Principal Type Schemes for Functional Programs (context) - Damas, Milner - 1982
258 Miranda: A Non-Strict Functional Language with Polymorphic T.. (context) - Turner - 1985
121 Logic Programming with Functions and Predicates: The Languag.. (context) - Navarro, Rodr'iguez - 1992
87 Narrowing as the Operational Semantics of Functional Languag.. (context) - Reddy - 1985
78 A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, L'opez-Fraguas et al. - 1993
54 SICSTUS PROLOG User's Manual (context) - Carlsson - 1988
52 Compiling Logic Programs with Equality (context) - Hanus - 1990
48 Basic Narrowing Revisited (context) - Nutt, R'ety et al. - 1988
47 and Shapiro (context) - Sterling - 1986
35 Logic Programming: Functions (context) - DeGroot, Lindstrom - 1986
29 The Relation between Logic and Functional Languages; Journal.. (context) - Bellia, Levi - 1986
24 GraphBased Implementation of a Functional Logic Language - Kuchen, Loogen et al. - 1990
24 Lazy Narrowing in a Graph Machine (context) - Navarro, Kuchen et al. - 1990
23 Dynamic Detection of Determinism in Functional Logic Languag.. - Loogen, Winkler - 1991
17 the Interaction of Lazy Evaluation and Backtracking - Hans, Loogen - 1992
13 Independent AND-Parallel Implementation of Narrowing (context) - Kuchen, Moreno-Navarro et al. - 1992
13 Distributed Implementation of Programmed Graph Reduction - Loogen, Kuchen et al. - 1989
12 Efficient Lazy Narrowing Using Demandedness Analysis (context) - Navarro, Kuchen et al. - 1993
8 Compiling Lazy Narrowing into Prolog (context) - Cheong - 1992
8 Logic Programming with Equations (context) - van Emden, Yukawa - 1987
8 The Implementation of Lazy Narrowing - Chakravarty, Lock - 1991
7 From Reduction Machines to Narrowing Machines - Loogen - 1991
7 From Reduction Machines to Narrowing Machines - Loogen - 1991
7 Efficient Compilation of Lazy Narrowing into Prolog (context) - Mart'in, Mari et al. - 1992
7 Functional Logic Languages (context) - Reddy - 1987
5 An AND-Parallel Implementation of the Functional Logic Langu.. (context) - Kuchen, Hans - 1991
5 Implementing Logical Variables on a Graph Reduction Architec.. (context) - Lindstrom - 1987
4 Babel: A Functional and Logic Programming Language Based on .. (context) - Navarro, Rodr'iguez-Artalejo - 1989
3 Graph-Narrowing to Implement a Functional Logic Language (context) - Kuchen, Loogen et al. - 1992
3 un lenguaje que integra la programaci'on funcional y l'ogica (context) - Navarro, Dise et al. - 1989
2 Implementation of a Parallel Logic Plus Functional Language (context) - Balboni, Bosco et al. - 1989
2 Compilation of Narrowing (context) - Muck - 1990
2 Narrowing versus SLD--resolution (context) - Bosco, Giovannetti et al. - 1988
2 Using Resolution for a Sound and Efficient Integration of Lo.. (context) - Bosco, Cecchi et al. - 1989
1 Languages and Computer Architectures (context) - Jones, Salkild et al. - 1989
1 Warrens' Abstract Machine: A Tutorial Reconstruction (context) - Ait-Kaci - 1991
1 A Functional Logic Language with Higher Order Variables (context) - Moreno, Hortal'a et al. - 1990
Documents on the same site (http://danae.uni-muenster.de/lehre/kuchen/papersFL.html): More
Higher Order Babel: Language and Implementation - Kuchen, Anastasiadis (1996) (Correct)
Integration of Functional and Logic Programming - Hanus, Kuchen (Correct)
Implementing a Lazy Functional Logic Language with .. - Kuchen.. (1992) (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