Taro Suzuki, Koji Nakagawa, Tetsuo Ida  Home/Search
Context Related
| jaist.ac.jp/~t_suzuki/Papers...ALP97.ps score.is.tsukuba.ac.jp/~taro...ALP97.ps nue.riec.tohoku.ac.jp/user/t...ALP97.ps 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: jaist.ac.jp/~t_suzuki/pub (more) From: score.is.tsukuba.ac.jp/paper (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we present a computation model for a higher-order functional and logic programming. Although investigations of computation models for higherorder functional logic languages are under way[13, 9, 8, 20, 22], implemented functional logic languages like K-LEAF[6] and Babel[18] among others, are all based on first-order models of computation. First-order narrowing has been used as basic computation mechanism. The lack of higher-order-ness is exemplified by the following prototypical... (Update)
Context of citations to this paper: More
.... In recent years, various extensions of the lazy narrowing calculus to higher order equational theories have been proposed [3, 4, 14] in an attempt to de ne a suitable model for the design of an equational programming language. One such calculus is the calculus HLNC...
.... of higher order lazy narrowing to particular classes of higher order rewrite systems have been proposed (see, e.g. [SNI97,Pre98,MMIY99,MIS99]) in an attempt to de ne a suitable operational model for higher order FLP. In the sequel we give a brief account of the higher...
Cited by: More
On Reducing the Search Space of Higher-Order Lazy Narrowing - Marin, Ida, Suzuki (1999) (Correct)
A Distributed System for Solving Equational Constraints.. - Marin, Ida, Schreiner (1999) (Correct)
Higher-order Lazy Narrowing Calculi in Perspective - Marin, Ida, Suzuki (2000) (Correct)
Active bibliography (related documents): More All
0.5: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.3: A Needed Narrowing Strategy - Antoy, Echahed, Hanus (1994) (Correct)
0.2: Algebraic Semantics for Higher-order Functional-Logic Programming - Hamana (Correct)
Similar documents based on text: More All
0.9: Higher-order Lazy Narrowing Calculus: a Solver for.. - Ida, Marin, Suzuki (2001) (Correct)
0.6: Collaborative Constraint Functional Logic System in an.. - Kobayashi, Marin, Ida (2003) (Correct)
0.6: Refinements of Lazy Narrowing for Left-Linear.. - Marin, Suzuki, Ida (2001) (Correct)
Related documents from co-citation: More All
7: Lazy Narrowing: Strong Completeness and Eager Variable Elimination - Okui, Middeldorp et al. - 1995
5: Solving higher-order equations (context) - Prehofer - 1993
5: A Deterministic Lazy Narrowing Calculus - Middeldorp, Okui - 1995
BibTeX entry: (Update)
T. Suzuki, K. Nakagawa, T. Ida, "Higher Order Lazy Narrowing Calculus: a Computation Model for a Higher-Order Functional Logic Language", in Proceedings of Sixth International Conference on Algebraic and Logic Programming, Lecture Notes in Computer Science, 1997. http://citeseer.ist.psu.edu/suzuki97higherorder.html More
@inproceedings{ suzuki97higherorder,
author = "Taro Suzuki and Koji Nakagawa and Tetsuo Ida",
title = "Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language",
booktitle = "{ALP}/{HOA}",
pages = "99-113",
year = "1997",
url = "citeseer.ist.psu.edu/suzuki97higherorder.html" }
Citations (may not include all citations):254 The Integration of Functions into Logic Programming: From Th.. (context) - Hanus - 1994
174 Combinatory Reduction Systems (context) - Klop - 1980
171 A Needed Narrowing Strategy - Antoy, Echahed et al. - 1994
126 Higher-order critical pairs (context) - Nipkow - 1991
121 Logic Programming with Functions and Predicates: The Languag.. (context) - Moreno-Navarro, Rodr'iguez-Artalejo - 1992
89 The Lambda Calculus (context) - Barendregt - 1984
89 Kernel-LEAF: A logic plus functional language (context) - Giovannetti, Levi et al. - 1991
73 A Calculus of Explicit Substitutions Which Preserves Strong .. (context) - -A, Briaud et al. - 1995
47 Lazy Narrowing: Strong Completeness and Eager Variable Elimi.. - Middeldorp, Okui et al. - 1996
45 Completeness Results for Basic Narrowing - Middeldorp, Hamoen - 1994
45 Digital Systems Research Center (context) - Abadi, Cardelli et al. - 1990
44 Higher-order narrowing with definitional trees - Hanus, Prehofer - 1996
43 Curry: A Truly Functional Logic Language - Hanus, Kuchen et al. - 1995
35 Solving Higher-Order Equations: From Logic to Programming - Prehofer - 1995
29 A Deterministic Lazy Narrowing Calculus - Middeldorp, Okui - 1995
20 A Complete Narrowing Calculus for Higher-Order Functional Lo.. - Nakahara, Middeldorp et al. - 1995
18 Linear Unification of Higher-Order Patterns (context) - Qian - 1993
13 Confluence of the lambda calculus with left-linear algebraic.. (context) - Muller - 1992
10 Leftmost Outside-In Narrowing Calculi (context) - Ida, Nakahara - 1997
8 Standardization theorem revisited - Suzuki - 1996
8 Narrowing Strategies for Arbitrary Canonical Systems (context) - Bockmayr, Krischer et al. - 1995
6 IEICE Transactions on Information and Systems (context) - Ida, Okui et al. - 1994
2 Using First-Order Narrowing to Solve Goals of Higher-Order P.. (context) - Liu, Qian - 1995
1 Higher Order BABEL (context) - Kuchen - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.jaist.ac.jp/~t_suzuki/pub.html):
Level-Confluence of Conditional Rewrite Systems with.. - Suzuki, Middeldorp, Ida (1995) (Correct)
Completeness of Narrowing for Orthogonal Conditional Rewrite.. - Taro Suzuki (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