Manuel M. T. Chakravarty, Hendrik C. R. Lock  Home/Search
Context Related
| greyarea.is.tsukuba.ac.jp/...jump.ps.gz unsw.edu.au/~chak/papers/jump.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: greyarea.is.tsukuba.ac.jp/...CL97 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine State The state of the abstract machine consists of eight components. (i) The code component, which may take one of several forms that are detailed below and which specify the next operation to be executed. (ii) The argument stack, denoted by as in the rules, stores the currently supplied function arguments. Remember that due to the use of currying, a function need not be applied to exactly the number of arguments specified by its arity. (iii) The return stack, denoted by rs, stores... (Update)
Context of citations to this paper: More
...problem (for five queens) It demonstrates the programming style in Escher. The goal queen x returns a disjunction of the form x= [1,3,5,2,4] x= 1,4,2,5,3] x= 2,4,1,3,5] The corresponding logic computation can also be encapsulated into a set. For...
.... code currently falls into two categories: Prolog predicates (e.g. 4, 12, 15, 27] or instructions for an abstract machine (e.g. [11, 19, 26, 29]) Although these approaches are relatively simple, in both cases, several layers of interpretation separate the functional logic...
Cited by: More
Implementing Escher on a Graph Reduction Machine - Kerstin Eder University (Correct)
An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) (Correct)
Active bibliography (related documents): More All
2.3: The JUMP-machine: a Generic Basis for the Integration of.. - Chakravarty, Lock (1994) (Correct)
0.8: The Implementation of Lazy Narrowing - Chakravarty, Lock (1991) (Correct)
0.8: The Integration of Functions into Logic Programming: A Survey - Hanus (1994) (Correct)
Similar documents based on text: More All
0.5: Using First Lego League To Enhance Engineering Education And To.. - Oppliger (2002) (Correct)
0.3: .1 The Java model - You Can Write (Correct)
0.2: Integrating Multithreading into the Spineless Tagless G-machine - Chakravarty (1995) (Correct)
Related documents from co-citation: More All
4: Programming in an integrated functional and logic language - Lloyd - 1998
4: Relating the implementation techniques of functional and functional logic langua.. - Loogen
4: Curry: An Integrated Functional Logic Language (context) - Hanus - 1999
BibTeX entry: (Update)
M. M. Chakravarty and H. C. R. Lock. Towards the Uniform Implementation of Declarative Languages. Computer Languages, 23(2-4):121--160, 1997. http://citeseer.ist.psu.edu/chakravarty97toward.html More
@article{ chakravarty97towards,
author = "Manuel M. T. Chakravarty and Hendrik C. R. Lock",
title = "Towards the Uniform Implementation of Declarative Languages",
journal = "Computer Languages",
volume = "23",
number = "2-4",
pages = "121-160",
year = "1997",
url = "citeseer.ist.psu.edu/chakravarty97toward.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
1399 Compilers--- Principles (context) - Aho, Sethi et al. - 1986
440 The Art of Prolog (context) - Shapiro - 1986
395 An abstract Prolog instruction set (context) - Warren - 1983
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
254 The integration of functions into logic programming: from th.. (context) - Hanus - 1994
251 A logic programming language with lambda-abstraction - Miller - 1991
221 Constraint logic programming (context) - Jaffar, Lassez - 1987
210 Implementing lazy functional languages on stock hardware: th.. - Jones - 1992
179 The Godel Programming Language (context) - Hill, Lloyd - 1994
171 A needed narrowing strategy - Antoy, Echahed et al. - 1994
146 The Glasgow Haskell Compiler: a technical overview - Jones, Hall et al. - 1993
126 Canonical forms and unification (context) - Hullot - 1980
125 Warren's Abstract Machine: A Tutorial Reconstruction (context) - AitKaci - 1991
121 Logic programming with functions and predicates: The languag.. (context) - Moreno-Navarro, Rodriguez-Artalejo - 1992
109 The Implementation of Functional Programming Languages (context) - Jones - 1987
97 The undecidability of the second-order unification problem (context) - Goldfarb - 1981
93 Feature-constraint logic for unification grammars - Smolka - 1992
87 Narrowing as the operational semantics of functional languag.. (context) - Reddy - 1985
73 Unboxed values as first class citizens in a non-strict funct.. - Jones, Launchbury - 1991
66 Efficient compilation of lazy evaluation - Johnsson - 1984
59 Foundation of Equational Logic Programming (context) - Holldobler - 1989
52 Compiling logic programs with equality (context) - Hanus - 1990
50 Towards a meaning of LIFE (context) - Ait-Kaci, Podelski - 1991
41 High Performance Prolog Implementation (context) - Taylor - 1991
41 an efficient purely declarative logic programming language (context) - Somogyi, Henderson et al. - 1996
39 A calculus for higher-order concurrent constraint programmin.. - Smolka - 1994
35 Implementing Functional Languages: a Tutorial (context) - Jones, Lester - 1992
32 Extending SLD-resolution to equational horn clauses using E-.. (context) - Gallier, Raatz - 1989
31 Benchmarking implementations of lazy functional languages II.. - Hartel - 1994
24 Lazy narrowing in a graph machine (context) - Moreno-Navarro, Kuchen et al. - 1990
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
22 pseudoknot (context) - Hartel, of et al. - 1996
22 Higher-order narrowing - Prehofer - 1994
20 A complete narrowing calculus for higher-order functional lo.. - Nakahara, Middeldorp et al. - 1995
19 The undecidability of unification in third-order logic (context) - Huet - 1973
18 TIM---a simple lazy abstract machine to execute supercombina.. (context) - Fairbairn, Wray - 1987
17 Haskell special issue (context) - Hudak - 1992
17 Can Logic Programming Execute as Fast as Imperative Programm.. (context) - Van Roy - 1990
13 Profiling scheduling strategies on the GRIP parallel reducer - Hammond, Jones - 1991
12 Higher-order equational logic programming (context) - Qian - 1994
12 Relating the implementation techniques of functional and fun.. - Loogen - 1993
9 Practical advantage of declarative programming (context) - Lloyd - 1994
8 Definitional Constraint Programming (context) - Guo - 1994
8 The implementation of lazy narrowing - Chakravarty, Lock - 1991
8 Efficient implementation of narrowing and rewriting (context) - Hanus - 1991
7 From reduction machines to narrowing machines - Loogen - 1991
7 FCG: a code generator for lazy functional languages - Langendoen, Hartel - 1992
6 LEAF: a WAM-based compilation of conditional narrowing (context) - Bosco, Cecchi et al. - 1989
6 The ABC-machine: A sequential stack-based abstract machine f.. (context) - Koopman, van Eekelen et al. - 1990
3 A bibliography on garbage collection and related topics (context) - Sankaran - 1994
3 Research Report YALEU/DCS/RR (context) - Peterson, non-strict et al. - 1996
2 Down with - lifting (context) - Meijer, Paterson - 1990
2 Guarded TermML (context) - Lock - 1988
2 Native code compilation in SICStus Prolog (context) - Haygood - 1994
2 CAMEL: An extension of the categorial abstract machine to co.. (context) - Muck - 1992
2 Peyton Jones and J (context) - Simon - 1988
1 Compiling programs of an applicative narrowing calculus (context) - Nakagawa, Nishioka et al. - 1995
1 Lambda calculus with logical variables (context) - Guo - 1994
1 A tiny functional logic constraint language and its continua.. (context) - Lock, Muck et al. - 1994
1 The functional logic programming language Guarded TermML: La.. (context) - Chakravarty - 1991
1 A theory of type polymorphism in programming (context) - Millner - 1978
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