TOY: A multiparadigm declarative system

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

Volumn 1631, Issue , 1999, Pages 244-247

  Lopez Fraguas F J ^a   Hernández, Ja Sánchez ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

CONSTRAINT SOLVING; DECLARATIVE PROGRAMMING; DETERMINISTIC FUNCTIONS; LINEAR CONSTRAINTS; MULTI-PARADIGM; REAL NUMBER; REWRITING LOGIC;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84957689990     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48685-2_19     Document Type: Conference Paper

References (16)

1. AEH94. S. Antoy, R. Echahed, M. Hanus. A needed narrowing strategy. Proc. POPL'94, 268-279, 1994.
2. AHL+96. P. Arenas, T. Hortalá, F.J. López, E. Ullán. Real constraints within a functional logic language. Proc. APPIA-GULP-PRODE'96, 451-462, 1996.
3. ALR98a. P. Arenas, F.J. López, M. Rodríguez. Embedding multiset constraints into a lazy functional logic language. Proc. PLILP'98, Springer LNCS 1490, 429-444, 1998.
4. ALR98b. P. Arenas, F.J. López, M. Rodríguez. Functional plus logic programming with built-in and symbolic constraints, 1998. Submitted.
5. AR97a. P. Arenas, M. Rodríguez. A semantic framework for functional logic programming with algebraic polymorphic types. Proc.TAPSOFT'97, Springer LNCS 1214, 453-464, 1997.
6. AR97b. P. Arenas, M. Rodríguez. A lazy narrowing calculus for functional logic programming with algebraic polymorphic types. Proc. ILPS'97,MIT Press, 53-69, 1997.
7. CL98a. R. Caballero, F.J. López. A functional logic alternative to monads. Proc. of Workshop on Component-Based Software Development in Computer Logic, 87-100, 1998.
8. CL98b. R. Caballero, F.J. López. Parsing with non-deterministic functions. Proc. APPIA-GULP-PRODE'98, 1-16, 1998.
9. GHL+98. J.C. González, T. Hortala, F.J. López, M. Rodríguez. An approach to declarative programming based on a rewriting logic. To appear in JLP, 1998. Earlier version in ESOP'96.
10. GHR97. J.C. González, M.T. Hortalá, M. Rodríguez. A higher order rewriting logic for functional logic programming. ICLP'97, MIT Press, 153-167, 1997.
11. Han94. M. Hanus. The integration of functions into logic programming, JLP, 19 & 20, 583-628, 1994.
12. Han97. M. Hanus. A unified computation model for functional and logic programming, Proc. POPL'97, 80-93, 1997.
13. Han98. M. Hanus (ed.). Curry: An integrated functional logic language. Available at http://www-i2.informatik.rwth-aachen.de/~hanus/curry, 1998.
14. LS98. F.J. López, J. Sánchez. An efficient narrowing strategy by means of disequality constraints. Tech. Rep. 98/84, Dep. SIP, UCM Madrid, 1998.
15. LLR93. R. Loogen, F.J. López, M. Rodríguez. A demand driven computation strategy for lazy narrowing. Proc. PLILP'3, Springer LNCS 714, 184-200, 1993.
16. MR92. J.J. Moreno, M. Rodríguez. Logic programming with functions and predicates: The language BABEL. JLP, 12, 191-223, 1992.