Functional Logic Programming

Functional Logic Programming

Cached

Download Links

by Sergio Antoy , Michael Hanus

Citations:

BibTeX

@MISC{Antoy_functionallogic,
    author = {Sergio Antoy and Michael Hanus},
    title = {Functional Logic Programming},
    year = {}
}

Bookmark

OpenURL

Abstract

The evolution of programming languages is the stepwise introduction of abstractions hiding the underlying computer hardware and the details of program execution. Assembly languages introduce mnemonic instructions and symbolic

Citations

1497	The Definition of Standard ML - Milner, Tofte, et al. - 1997
278	The Oz Programming Model - Smolka - 1995
273	A needed narrowing strategy - Antoy, Echahed, et al.
196	Purely Functional Data Structures - Okasaki - 1998
175	The execution algorithm of Mercury, an efficient purely declarative logic programming language - Somogyi, Henderson, et al. - 1996
138	Definitional trees - Antoy - 1992
110	T OY: A multiparadigm declarative system - López-Fraguas, Sánchez-Hernández - 1999
100	Narrowing as the Operational Semantics of Functional Languages - Reddy - 1985
82	An approach to declarative programming based on a rewriting logic - González-Moreno, Hortalá-González, et al. - 1999
69	Automated theorem-proving for theories with simplifiers, commutativity - Slagle - 1974
63	Programming in an integrated functional and logic language - Lloyd - 1999
44	Constructor-based Conditional Narrowing - Antoy - 2001
29	Functional Logic Design Patterns - Antoy, Hanus - 2002
26	Multi-paradigm declarative languages - Hanus - 2007
24	Overlapping rules and logic variables in functional logic programs - Antoy, Hanus - 2006
23	Type-oriented construction of web user interfaces - Hanus - 2006
22	Nondeterministic algebraic specifications and nonconfluent term rewriting - Hussmann - 1992
19	Evaluation Strategies for Functional Logic Programming - Antoy - 2005
18	A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems - Casas, Cabeza, et al. - 2006
16	A Practical Partial Evaluator for a MultiParadigm Declarative Language - Albert, Hanus, et al.
14	To the Gates of HAL: A HAL Tutorial - Banda, Demoen, et al. - 2002
13	Declarative Programming with Function Patterns - Antoy, Hanus - 2006
13	Typed logical variables in Haskell - Claessen, Ljunglöf - 2000
13	Type-level computation using narrowing in Ωmega - Sheard - 2006
11	Vrijer (eds.). Term Rewriting Systems - Bezem, Klop, et al. - 2003
11	H.: Systematic generation of glass-box test cases for functional logic programs - Fischer, Kuchen - 2007
11	Implementing encapsulated search for a lazy functional logic language - Lux - 1722
10	Run-Time Profiling of Functional Logic Programs - Braßel, Hanus, et al. - 2004
8	High-level database programming in Curry - Braßel, Hanus, et al. - 2008
7	On a Tighter Integration of Functional and Logic Programming - Braßel, Huch - 2007
6	Lazy call-byvalue evaluation - Braßel, Fischer, et al. - 2008
6	A logic programming approach to the verification of functional-logic programs - Cleva, Leach, et al. - 2004
6	Teaching functional and logic programming with a single computation model - Hanus - 1997
6	An open system to support web-based learning - Hanus, Huch - 2003
3	Pattern Analysis for Functional Logic Programs - Call - 2008
3	Programming autonomous robots in Curry - Hanus, Höppner
2	Declarative programming of user interfaces - Hanus, Kluß - 2009