M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. J. Logic Programming, 19,20:583--628, 1994. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Logic Programming in the Context of Multiparadigm.. - Van Roy, Brand.. (2002) (3 citations) (Correct)
A Safe Calculus and Algebra for Querying.. -.. (Correct)
A Safe Relational Calculus for Functional Logic.. -.. (Correct)
Complete Selection Functions for a Lazy Conditional.. - Middeldorp, Suzuki.. (2002) (Correct)
Automatic Tupling for Functional-Logic Programs - Moreno (2002) (Correct)
A Constraint-based Partial Evaluator for Functional - Logic Programs And (Correct)
A General Approach for Building Constraint Languages - Hofstedt (2002) (Correct)
The Functional Side of Logic Programming - Massimo Marchiori Department (1995) (6 citations) (Correct)
Nominal Logic Programming - Cheney (2004) (Correct)
A Compositional Semantic Basis for the Analysis of.. - Alpuente, Falaschi.. (1996) (2 citations) (Correct)
A Unifying View of Functional and Logic Program.. - Alpuente, Falaschi, Vidal (1998) (1 citation) (Correct)
Call-by-Name Specialization of Functional Logic Programs - Alpuente, Falaschi.. (1996) (Correct)
Specialization of Lazy Functional Logic Programs - Alpuente, Falaschi, Julian.. (1997) (8 citations) (Correct)
Narrowing-driven Partial Evaluation of Functional Logic.. - Alpuente, Falaschi, Vidal (1996) (12 citations) (Correct)
Safe Folding/Unfolding with Conditional Narrowing - Alpuente, Falaschi, Moreno.. (1997) (2 citations) (Correct)
The Narrowing-Driven Approach to Functional Logic Program.. - Albert, Vidal (2002) (2 citations) (Correct)
Unfolding of Equational Logic Programs - Alpuente, Falaschi, Ramis, Vidal (1994) (Correct)
Narrowing-driven Specialization of Functional Logic Programs - Alpuente, Falaschi, Vidal (1996) (Correct)
Rules + Strategies for Transforming Lazy Functional.. - Alpuente, Falaschi.. (2004) (Correct)
Logic Programs with Functions - And Default Values (Correct)
Using Mobility and Blackboards to Support a.. - Barbosa, Yamin.. (2001) (Correct)
Call-by-Name Partial Evaluation of Functional Logic.. - Alpuente, Falaschi.. (1996) (Correct)
Program Specialization Based on Dynamic Slicing - Ochoa, Silva, Vidal (2004) (Correct)
Transforming Interpreters into Inverse Interpreters by.. - Glück, Kawada, al. (2003) (Correct)
Refining Weakly Outermost-Needed Rewriting and Narrowing - Escobar (2003) (Correct)
Higher-Order Functional-Logic Programming: A Systematic Development - Prehofer (1997) (Correct)
Higher-Order Narrowing with Convergent - Systems Christian Prehofer (1995) (Correct)
Implementing Natural Rewriting and Narrowing Efficiently - Escobar (Correct)
Logic Programs with Functions - And Default Values (Correct)
On Closure under Complementation of Equational Tree . . . - Verma (2003) (Correct)
Time Equations for Lazy Functional (Logic) Languages - Albert, Silva, Vidal (Correct)
A Memoizing Semantics for - Functional Logic Languages (Correct)
Strategies and Analysis Techniques in Functional Program.. - Escobar (Correct)
Inductive Theorem Proving for Design Specifications - Padawitz (1997) (3 citations) (Correct)
Swinging Data Types - The dielectic between actions and.. - Padawitz (1998) (Correct)
A System for Testing and Verifying Functional-Logic Programs - Padawitz (2002) (1 citation) (Correct)
Solving Equations by Graph Transformation - Habel, Plump (2001) (Correct)
A Relational Algebra for Functional Logic Deductive.. -.. (Correct)
International Journal of Foundations of Computer Science - World Scienti Publishing (Correct)
Programming with Narrowing - Sergio Antoy Computer (Correct)
Multiple-Valued Horn Clauses and Their WAM Compilation - Boley (1998) (Correct)
A Safe Transformation System for Optimizing Functional Programs - Moreno (Correct)
A Theory of Overloading - Stuckey, Sulzmann (2002) (Correct)
A Partial Evaluation Framework for Curry Programs - Albert, Alpuente, Hanus, Vidal (1999) Self-citation (Hanus) (Correct)
Specialization of Functional Logic Programs Based on.. - Alpuente, Hanus.. (1999) Self-citation (Hanus) (Correct)
Higher-Order Narrowing with Definitional Trees - Michael Hanus And (1996) (25 citations) Self-citation (Hanus) (Correct)
An Implementation of Narrowing Strategies - Antoy, Hanus, Massey, Steiner (2001) Self-citation (Hanus) (Correct)
Functional Logic Design Patterns - Antoy, Hanus (2002) (1 citation) Self-citation (Hanus) (Correct)
Functional Logic Design Patterns - Antoy, Hanus (2002) (1 citation) Self-citation (Hanus) (Correct)
A Concurrent Implementation of Curry in Java - Hanus, Sadre (1997) Self-citation (Hanus) (Correct)
First 50 documents Next 50
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