Embedding multiset constraints into a lazy functional logic language

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

Volumn 1490, Issue , 1998, Pages 429-444

  Arenas Sanchez P ^a   Lopez Fraguas F J ^a   Rodriguez Artalejo M ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FUNCTIONAL PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE); XML;

ARITHMETIC CONSTRAINTS; DATA TYPE; FUNCTIONAL LOGIC LANGUAGES; IMPLEMENTATION TECHNIQUES; LAZY FUNCTIONAL LOGIC PROGRAMMING; MULTI-SETS; POLYMORPHIC TYPES; PROLOG SYSTEMS;

LOGIC PROGRAMMING;

EID: 84947754490     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0056631     Document Type: Conference Paper

References (21)

1. Antoy S., Echahed R., Hanus M.: A Needed Narrowing Strategy. In Proc. POPL94, pp. 268-279, 1994.
2. Arenas-Sánchez P., Gil-Luezas A., López-Fraguas F. J.: Combining Lazy Narrowing with Disequality Constraints. In Proc. PLILP’94, Springer LNCS 844, pp. 385-399, 1994.
3. Arenas-Sánchez P., Rodríguez-Artalejo M.: A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types. In Proc. TAPSOFT’97, Springer LNCS 1214, pp. 453-464, 1997.
4. Arenas-Sánchez P., Rodríguez-Artalejo M.: A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types. In Proc. ILPS’97, the MIT Press, pp. 53-69, 1997.
5. Banâtre, J. P. and Le Metayer, D.: The Gamma model and its discipline of programming. Science of Computer Programming 15, pp. 55-77, 1990.
6. Caballero-Roldán R., Sánchez-Hernández J., López-Fraguas F. J: User’s Manual for TOy. Tech. Rep. SIP 97/57, Universad Complutense de Madrid, 1997.
7. Cheong P. H., Fribourg, L.:Implementation of Narrowing: The Prolog-Based Approach. In Apt, de Bakker, Rutten (eds), Logic Programming languages: constraints, functions and objects, the MIT Press, pp. 1-20, 1993.
8. Damas L., Milner R.: Principal type schemes for functional programs. In Proc. POPL82, pp. 207-212, 1982.
9. Dovier A., Rossi G.: Embedding Extensional Finite Sets in CLP. In Proc. ILPS’93, the MIT Press, pp. 540-556, 1993.
10. González-Moreno J. C., Hortalá-González T., López-Fraguas F. J, Rodríguez-Artalejo M.: A Rewriting Logic for Declarative Programming. In Proc. ESOP’96, Springer LNCS 1058, pp. 156-172, 1996. Full version available as TR DIA95/10, http://mozart. sip. ucm. es
11. Groβe G., Hölldobler J., Schneeberger J., Sigmund U., Thielscher M.: Equational Logic Programming, Actions, and Change. In Proc. ICLP’92, the MIT Press, pp. 177-191, 1992.
12. Hanus M.: The Integration of Functions into Logic Programming. A Survey. JLP (19:20). Special issue Ten Years of Logic Programming, pp. 583-628, 1994.
13. Holzbaur C.: OFAI clp(Q, R) Manual. . Edition 1. 3. 3., Austrian Research Institute for Artificial Intelligence, Vienna, TR-95-09, 1995.
14. Jayaraman B., Plaisted D. A.: Programming with Equations, Subsets, and Relations. In Proc. ICLP’89, Vol. 2, the MIT Press, pp. 1051-1068, 1989.
15. Jouannaud J. P., Kirchner C.: Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification. In J. L. Lassez and G. Plotking (eds.), Computational Logic, Essays in Honor of Alan Robinson. The MIT Press, pp. 257-321, 1991.
16. Legèard B.: Programmation en Logique avec Contraintes sur les Ensembles, Multiensembles et Sequences. Utilisation en prototypage de logiciels. PhD thesis, Université de Franche-Comté, 1994.
17. Loogen R., López-Fraguas F. J., Rodríguez-Artalejo M.: A Demand Driven Computation Strategy for Lazy Narrowing. In Proc. PLILP’93, Springer LNCS 714, pp 184-200, 1993.
18. Marriott, K.: Constraint multiset grammars. In Proc. IEEE Symposium on Visual Languages, IEEE Computer Society Press, pp. 118-125, 1994.
19. Martí-Oliet N., Meseguer J.: Action and Change in Rewriting Logic. In R. Pareschi & B. Fronhöfer (eds.). Theoretical Approaches to Dynamic Worlds in Computer Science and Artificial Intelligence. Cambridge M. P., 1995.
20. Reddy U.: Narrowing as the Operational Semantics of Functional Languages. In Proc. IEEE Symposium on Logic Programming, pp. 138-151, 1985.
21. Sicstus Prolog User’s Manual. Programming Systems Group. Swedish Institute of Computer Science, 1995.