Semantics and types in functional logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1722, Issue , 1999, Pages 1-20

  Gonzalez Moreno J C ^a   Hortala Gonzalez M T ^a   Rodriguez Artalejo M ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FUNCTIONAL PROGRAMMING; SEMANTICS;

FUNCTIONAL LOGIC PROGRAMMING; OPERATIONAL LEVEL; POLYMORPHIC TYPE SYSTEMS; REWRITING SYSTEMS; SEMANTIC FRAMEWORK; SEMANTIC LEVELS; SOLVING PROCEDURE; TYPE INFORMATION;

LOGIC PROGRAMMING;

EID: 84957681217     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10705424_1     Document Type: Conference Paper

References (20)

1. K.R. Apt, Logic Programming, In J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, vol. B, Chapter 10, Elsevier and The MIT Press, pp. 493-574, 1990.
2. P. Arenas-Sánchez and M. Rodríguez-Artalejo, A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types, Proc. Int. Joint Conference on Theory and Practice of Software Development (TAPSOFT’97), Lille, Springer LNCS 1214, pp. 453-464, 1997.
3. F. Baader and T. Nipkow, Term Rewriting and All That, Cambridge University Press, 1998.
4. R. Caballero-Roldán, F. J. López-Fraguas and J. Sánchez-Hernandez, User’s Manual for TOY, Technical Report SIP 57/97, Dpto. de Sistemas In-formáticos y Programacióon, Univ. Complutense de Madrid. System available at http://mozart.sip.ucm.es/incoming/toy.html.
5. W. Chen, M. Kifer and D. S. Warren, Hi Log: A Foundation for Higher-Order Logic Programming, Journal of Logic Programming 15, pp. 187-230, 1993.
6. J. A. Goguen and J. Meseguer, Models and Equality for Logical Programming, Proc. TAPSOFT’87, Springer LNCS 250, pp. 1-22, 1987.
7. W. Goldfarb, The Undecidability of the Second-Order Unißcation Problem, The-oretical Computer Science 13, pp. 225-230, 1981.
8. J.C. Gonzáalez-Moreno, M.T. Hortalá-González and M. Rodríguez-Artalejo, A Higher Order Rewriting Logic for Functional Logic Programming, Proc. Int. Conf. on Logic Programming, Leuven, the MIT Press, pp. 153-167, 1997.
9. J.C. González-Moreno, M.T. Hortáka-González, F.J. López-Fraguas and M. Rodríguez-Artalejo, An Approach to Declarative Programming Based on a Rewriting Logic, Journal of Logic Programming 40(1), pp. 47-87, 1999.
10. M. Hanus, Polymorphic Higher-Order Programming in Prolog, Proc. Int.Conf. on Logic Programming (ICLP’89), The MIT Press, pp. 382-397, 1989.
11. M. Hanus, A Functional and Logic Language with Polymorphic Types, Proc. Int. Symp. on Design and implementation of Symbolic Computation Systems, Springer LNCS 429, pp. 215-224, 1990.
12. M. Hanus (ed.), Curry: an Integrated Functional Logic Language, available at http://www-i2.informatik.rwth-aachen.de/hanus/curry, 1998.
13. J. Jaffar, J.L. Lassez and M.J. Maher, A Theory of Complete Logic Programs with Equality, Journal of Logic Programming (1), pp. 211-223, 1984.
14. R. Milner, A Theory of Type Polymorphism in Programming, Journal of Computer and Systems Sciences, 17, pp. 348-375, 1978.
15. A. Mycroft and R.A. O’Keefe, A Polymorphic Type System for Prolog. Artificial Intelligence 23, pp. 295-307, 1984.
16. G. Nadathur and P. Pfenning, The Type System of a Higher-Order Logic Programming Language, In F. Pfenning (ed.), Types in Logic Programming, The MIT Press, pp. 245-283. 1992.
17. J. Peterson, and K. Hammond (eds.), Report on the Programming Language Haskell, A Non-strict, Purely Functional Language, Version 1.4, April 7, 1997.
18. F. Pfenning (ed.), Types in Logic Programming, The MIT Press. 1992.
19. C. Prehofer, Solving Higher Order Equations: From Logic to Programming, Birkhäuser, 1998.
20. D. S. Scott, Domains for Denotational Semantics, Proc. ICALP’82, Springer LNCS 140, pp. 577-613, 1982.