D. de Groot, G.Lindstrom (eds): Logic Programming: Functions, Relations and Equations. Prentice Hall, 1986. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Denotational Versus Declarative Semantics For.. - Moreno.. (1992) (2 citations) (Correct)
....rewriting. Its behaviour w.r.t. denotational semantics. 14 6 Conclusions 14 A Appendix 1 INTRODUCTION 3 1 Introduction This work stems from our interest in the integration of logic and functional programming. Though this topic has received much attention in the last years [6, 2, 7], most of the existing research refers to F.O. languages. The semantic foundation of H.O. logic functional languages does still need further investigation. Existing approaches propose either to translate H.O. syntax into F.O. syntax [3, 4] or to use H.O. logics with a F.O. semantics [13, 5] In ....
D. de Groot, G.Lindstrom (eds): Logic Programming: Functions, Relations and Equations. Prentice Hall, 1986.
On the Completeness of Narrowing as the.. -.. (1992) (1 citation) (Correct)
....is foreseen. Research supported by the PRONTIC project TIC 89 0104 and the ESPRIT BR Working Group N. 6028 CCL 1 INTRODUCTION AND RELATED WORK 2 1 Introduction and related work In spite of the amount of research already devoted to the integration of functional and logic programming [Gr Li 86, Be Le 86, De Ok 90] there are still some combination problems which we find worth of further invertigation. More precisely, we have in mind the integration of partial and higher order (HO) functions (and predicates) within a programming language which supports lazy evaluation, logic variables ....
D. de Groot, G. Lindstrom (eds): Logic Programming: Functions, Relations and Equations, Prentice Hall, 1986.
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