Context-Sensitive Computations in Functional and Functional Logic Programs

Context-Sensitive Computations in Functional and Functional Logic Programs (1998)

Cached

Download Links

by Salvador Lucas

Venue:	JOURNAL OF FUNCTIONAL AND LOGIC PROGRAMMING
Citations:	67 - 44 self

BibTeX

@MISC{Lucas98context-sensitivecomputations,
    author = {Salvador Lucas},
    title = {Context-Sensitive Computations in Functional and Functional Logic Programs},
    year = {1998}
}

Bookmark

OpenURL

Abstract

Citations

723	Rewrite systems - Dershowitz, Jouannaud - 1990
550	Term rewriting systems - Klop - 1992
433	Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory - Stoy - 1977
431	Associative-commutative rewriting - Dershowitz, Hsiang, et al. - 1983
339	Con uent reductions: Abstract properties and applications to term rewriting systems - Huet - 1980
317	The integration of functions into logic programming: From theory to practice - Hanus - 1994
162	Canonical forms and unification - Hullot - 1980
155	Logic programming with functions and predicates: The language BABEL - Moreno-Navarro, Rodriguez-Artalejo - 1992
107	Elements of Functional Programming - Reade - 1989
104	On theories with a combinatorial definition of “equivalence - Newman - 1942
102	Kernel LEAF: A Logic plus Functional Language - Giovannetti, Levi, et al. - 1991
102	Parallel implementations of functional programming languages - Peyton-Jones - 1989
100	Narrowing as the Operational Semantics of Functional Languages - Reddy - 1985
84	Computing in Systems Described by Equations - O'Donnell
78	CONS Should Not Evaluate its Arguments - Friedman, Wise - 1976
74	Equational Logic as a Programming Language - O'Donnell - 1985
73	Jr., A lazy evaluator - Henderson, Morris - 1976
72	The theory and practice of transforming call-by-need into call-by-value - Mycroft - 1980
59	Computations in Orthogonal Term Rewriting Systems - Huet, Lévy - 1992
52	Strictness analysis on non-flat domains (by abstract interpretation over finite domains - Wadler - 1987
44	Call by need computations to root-stable form - Middeldorp - 1997
40	Sequentiality in Orthogonal Term Rewriting Systems, in: Journal of Symbolic Computation - Klop, Middeldorp - 1991
32	Termination of context-sensitive rewriting - Zantema - 1997
31	Optimal derivations in weak lambda-calculi and in orthogonal term rewriting systems - Maranget
30	On Theories with a Combinatorial Definition of "Equivalence - Newman - 1942
28	Termination of context-sensitive rewriting by rewriting - Lucas
21	Correct and optimal implementations of recursion in a simple programming language - Vuillemin - 1974
20	strongly sequential and forward-branching term rewriting systems - Bounded - 1994
17	Lazy rewriting and eager machinery - Kamperman, Walters - 1995
16	Compiling Strictness into Streams - Hall, Wise - 1987
15	The functional strategy and transitive term rewriting systems - Toyama, Smetsers, et al. - 1993
14	Concurrent term rewriting as a model of computation - Goguen, Kirchner, et al. - 1987
11	Computation as Logic - Lalement - 1993
10	Strictness analysis—a practical approach - Clack, Peyton-Jones - 1985
5	Fundamentals of context-sensitive rewriting - Lucas - 1995
5	Needed reductions with context-sensitive rewriting - Lucas - 1997
4	Context-sensitive computations in confluent programs - Lucas - 1996
3	Graph Reduction - Keller - 1987
3	Logic programming with functions and predicates: the language babel - Rodríguez-Artalejo - 1997
2	Functional logic languages: combine search and efficient evaluation - Hanus - 1995
1	Using replacement restrictions in functional-logic languages - Lucas - 1996
1	The Journal of Functional and Logic Programming 1998-1 Context-Sensitive Computations (Ref) [Dur94] [FW76 - Bounded - 1994
1	The Journal of Functional and Logic Programming 1998-1 Context-Sensitive Computations (Ref) [Hul80] [HW87 - Hullot - 1980
1	Sequentiality in orthogonal term rewriting systems - Gabbay, Maibaum, et al. - 1992
1	The Journal of Functional and Logic Programming 1998-1 Context-Sensitive Computations (Ref - Lucas
1	Myc80] [New42 - Mycroft - 1992
1	The Journal of Functional and Logic Programming 1998-1 Context-Sensitive Computations (Ref) [O’D77] [O’D85] [PJ87] [Rea93] [Red85 - O’Donnell - 1977