J. Darlington, Y. Guo and H. Pull. A new perspective on integrating functional and logic languages. Proc. Fifth Generation Computer Systems, 682--693. Tokyo, 1992. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Integration of Functions into Logic Programming: A Survey - Hanus (1994) (14 citations) (Correct)
.... These include ffl better implementation by using program analysis techniques [5, 6, 20, 30, 58, 60] ffl distributed implementations [16, 81, 113] ffl development of programming environments like debugging tools [61] ffl integration of other features like types [1, 54, 114, 121] constraints [1, 28, 80, 84, 89, 90, 92], or higher order functions [17, 51, 54, 100, 108, 120] Acknowledgements. The author is grateful to Herbert Kuchen, Rita Loogen, and an anonymous referee for their detailed comments on a previous version of this paper. Sergio Antoy, Bernd Butow, Rachid Echahed, Hendrik Lock, Andy Muck, Peter ....
J. Darlington, Y. Guo, and H. Pull. A New Perspective on Integrating Functional and Logic Languages. In Proc. Fifth Generation Computer Systems, pp. 682--693, 1992.
Adding Constraints to Logic-based Formalisms - Maher (1999) (Correct)
....the constraints are used remain logical [46] although it is not clear if it will remain so. There has also been incorporation of constraints in formalisms that might be considered logical in nature, but have not been addressed by the foregoing. Instances include constraint functional programming [7] and constrained type systems [45] 6 Conclusion The addition of constraints to logic formalisms permits the formalisms to address interpreted values in a direct way. Unfortunately, not all the properties of the formalism extend to the constrained formalism. Nevertheless, in the discussed case ....
J. Darlington, Y. Guo & H. Pull, A New Perspective on Integrating Functional and Logic Languages, Proc. Int. Conf. on Fifth Generation Computer Systems, 682--693, Ohmsha, Tokyo, 1992.
Untyped Constrained Lambda Calculus - Crossley, Mandel, Wirsing (1993) (Correct)
....[Mil91] and [MNS87] functional and logic programming are unified using a typed calculus. Logic programs are sets of Harrop formulae which may contain terms. In fact, each formula is a term of propositional type. Constraint functional programming was also introduced by Darlington et al. in [DGP92] FALCON [GP91] is a functional programming language with constraints. In this language constraints are used in a passive way, that is, the constraints are used only to restrict the applicability of a function. There are no inferences from the constraints. 1 The aim of the present work is to ....
John Darlington, Yi-ke Guo, and Helen Pull. A New Perspective on Integrating Functional and Logic Languages. Technical report, Imperial College, February 1992.
Embedding PROLOG in HASKELL - Spivey, Seres (1999) (3 citations) (Correct)
.... topic has been explored for the special case of exceptions in [21] and we give a more detailed study of it in [19] 6 Related and Further Work There has been a long effort to combine the two important paradigms of declarative programming, functional and logic programming (some good surveys are [1, 3, 5, 10, 16]) and that effort is still ongoing. The two primary goals of the research in this area of paradigm integration are to make tools that exploit the most powerful concepts from both paradigms and to gain a better understanding of declarative computing. It is a fruitful combination; functional ....
J. Darlington, Y. Guo, and H. Pull. A new perspective on integrating functional and logic languages. In Proceedings of FGCS, pages 682--693, 1992.
Shallow Embedding of Prolog Programs - Seres (1999) (Correct)
....describe the possible directions for further research on the shallow embedding. 6. 1 Related Work The most cited survey article on the unification of functional and logic languages is [Han94] Other survey articles on the relation between functional and logic languages and their integration are [BL86, DFP86, WP00, DGP92, Llo94, Llo98] and [Red87] Some recently developed languages that combine the two paradigms are Babel [MNRA92] Kernel Leaf [GLMP91] Escher [Llo95] and Curry [HKMN95] Languages that are specially designed for higher order logic programming are Lambda Prolog [Mil91, NM88, GH95] Mercury [SHC95] and HiLog ....
J. Darlington, Y. Guo, and H. Pull. A new perspective on integrating functional and logic languages. In Proceedings of FGCS, pages 682--693, 1992.
Parallel Programming Using Skeleton Functions - Darlington, Field, Harrison.. (1993) (161 citations) Self-citation (Darlington) (Correct)
No context found.
J. Darlington, Y-k. Guo and H.M. Pull, A New Perspective on Integrating Functional and Logic Languages, Conf. on Fifth Generation Computing Systems, Tokyo, June 1992.
A New Perspective on Integrating Functional and Logic.. - Darlington, Guo, Pull (1992) (6 citations) Self-citation (Darlington Guo Pull) (Correct)
....is a direct result of our strenuous effort to identify clearly the essential characteristics of the component language paradigms and to preserve them faithfully in the DCP language construction. We have defined a concrete DCP language, Falcon [GP91] Many Falcon programming examples appear in [DGP91]. ....
J. Darlington, Y.K. Guo, and H. Pull. A new perspective on integrating functional and logic languages. Technical report, Dept. of Computing, Imperial College, December 1991.
Optimizing Compilation of Constraint Logic - Programming Languages Andrew (1996) (Correct)
No context found.
J. Darlington, Y. Guo and H. Pull. A new perspective on integrating functional and logic languages. Proc. Fifth Generation Computer Systems, 682--693. Tokyo, 1992.
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