A semantic framework for functional logic programming with algebraic polymorphic types

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

Volumn 1214, Issue , 1997, Pages 453-464

  Arenas Sdnchez, P ^a   Rodriguez Artalejo, M ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; COMPUTER CIRCUITS; FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING; SEMANTICS; SOFTWARE DESIGN;

CONDITIONAL REWRITING; DEFINED FUNCTIONS; EQUATIONAL LOGIC; FORMAL FRAMEWORK; FUNCTIONAL LOGIC PROGRAMMING; POLYMORPHIC TYPES; SEMANTIC FRAMEWORK; SOUNDNESS AND COMPLETENESS;

C (PROGRAMMING LANGUAGE);

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

References (21)

1. Almendros-Jiménez J.M., Gavilanes-Franco A., Gil-Luezas A.: Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. In Proc. ALP’96. Springer LNCS 1139, pp. 299-313, 1996.
2. Arenas-Sánchez P., Dovier A.: Minimal Set Unification. In Proc. PLILP’95. Springer LNCS 982, pp. 397-414, 1995.
3. Derschowitz N., Jouannaud J.P.: Rewrite Systems. In J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B, Chapter 6. Elsevier North-Holland, 1990.
4. Dovier A., Rossi G.: Embedding Extensional Finite Sets in CLP. In Proc. ILPS’93, the MIT Press, pp. 540-556, 1993.
5. Gervet C.: Conjunto: Constraint Logic Programming with Finite Set Domains. In Proc. ILPS’94, the MIT Press, pp. 339-358, 1994.
6. Giovannetti G., Levi G., Moiso C., Palamidessi C.: Kernel K-LEAF: A Logic plus Functional Language. JCSS 42 (2), pp. 139-185, 1991.
7. Gonzzilez-Moreno J.C., Hortalá-Gonález T., Ldpez-Fraguas F.J, Rodriguez-Artalejo M.: A Rewriting Logic ]or Declarative Programming. In Proc. ESOP’96, Springer LNCS 1058, pp. 156-172, 1996. Full version available as TR DIA95/10, http://mozart.mat.ucm.es/papers/1996/full-esop96.ps.gz
8. Groge G., H611dobler J., Schneeberger J., Sigmund U., Thielscher M.: Equational Logic Programming, Actions, and Change. In Proc. ICLP’92, the MIT Press, pp. 177-191, 1992.
9. Hanus M.: A Functional and Logic Language with Polymorphic Types (Extended Abstract). In Proc. Int. Symposium on Design and Implementation of Symbolic Computation Systems, Springer LNCS 429, pp.215-224, 1990.
10. 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.
11. Heintze N., Jaffar J.: Set Constraints and Set-Based Analysis. In Proc. PPCP’94, Springer LNCS 874, pp. 281-298, 1994.
12. Hussmarm H.: Non-determinism Algebraic Specifications and Nonconfluent Term Rewriting. FLP 12, pp. 237-255, 1992.
13. Jayaraman B., Plaisted D.A.: Programming with Equations, Subsets, and Relations. In Proc. ICLP’89, Vol. 2, the MIT Press, pp. 1051-1068, 1989.
14. Jouarmaud J.P., Kirchner C.: Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification. Computational Logic: Essays in Honor of Alan Robinson. J.L. Lassez and G. Plotkin (Eds.). The MIT Press, pp. 257-321, 1991.
15. Mesegner J.: A Logical Theory of Concurrent Objects and Its Realization in the Maude Language. In Agha A., Wegner P. and Yonezawa A. (Eds), Research Directions in Concurrent Object-Oriented Programming, the MIT Press, 1993.
16. MSller B.: On theAlgebraic Specification o[ Infinite Objects - Ordered and Continuous Models of Algebraic Types. Acta Informatica 22, pp. 537-578, 1985.
17. Moreno-Navarro J.J., Rodrlguez-Artalejo M.: Logic Programming with Functions and Predicates: The Language BABEL. JLP 12, pp. 191-223, 1992.
18. Smolka G.: Logic Programming over PolymorphicaUy Order-Sorted Types. PhD Thesis, Fachbereich Informatik, Universit~it Kaiserslautern, 1989.
19. Reddy U.: Narrowing as the Operational Semantics of Functional Languages. In Proc. IEE Symposium on Logic Programming, pp. 138-151, 1985.
20. Scott D.S.: Domains for Denotational Semantics. In Proc. ICALP’82. SpringerLNCS 140, pp. 567-613, 1982.
21. Peterson J., Hammond K. (eds.): Report on the Programming Language Haskell. A Non-strict, Purely Functional Language. Version 1.3., May 1, 1996.