Functional logic programming

Communications of the ACM

Volumn 53, Issue 4, 2010, Pages 74-85

  Antoy, Sergio ^a   Hanus, Michael ^b  

^a PORTLAND STATE UNIVERSITY   (United States)

^b UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION DOMAINS; ASSEMBLY LANGUAGE; DECLARATIVE LANGUAGES; DECLARATIVE PROGRAMS; FORTRAN; FUNCTIONAL LOGIC PROGRAMMING; LOGIC LANGUAGES; LOGICAL STATEMENTS; MACHINE CODES; MATHEMATICAL NOTATIONS; OBJECT-ORIENTED LANGUAGES; PROGRAM EXECUTION; PROGRAMMING LANGUAGE; VISIBILITY LEVEL;

ALGOL (PROGRAMMING LANGUAGE); COMPUTER HARDWARE; FUNCTIONAL PROGRAMMING; LABELS; LINGUISTICS; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 77950357076     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1721654.1721675     Document Type: Review

References (39)

1. albert, e., hanus, M. and Vidal, g. a practical partial evaluator for a multi-paradigm declarative language. J. Functional and Logic Programming 1 (2002).
2. antoy, s. defnitional trees. In Proceedings of the 3rd International Conference on Algebraic and Logic Programming. springer LnCs 632, 1992, 143-157.
3. antoy, s. Constructor-based conditional narrowing. In Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. aCM Press, 2001, 199-206.
4. antoy, s. evaluation strategies for functional logic programming. J. Symbolic Computation 40, 1 (2005), 875-903
5. antoy, s., echahed, r. and hanus, M. a needed narrowing strategy. J. ACM, 47, 4 (2000), 776-822.
6. antoy, s. and hanus, M. Functional logic design patterns. In Proceedings of the 6th International Symposium on Functional and Logic. springer LnCs 2441, 2002, 67-87.
7. antoy, s. and hanus, M. declarative programming with function patterns. In Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation. springer LnCs 3901, 2005, 6-22.
8. antoy, s. and hanus, M. overlapping rules and logic variables in functional logic programs. In Proceedings of the 22nd International Conference on Logic Programming. springer LnCs 4079, 2006, 87-101
9. bezem, M., Klop, J.W. and de Vrijer, r. (eds.). Term Rewriting Systems. Cambridge University Press, 2003.
10. braßel, b., Fischer, s., hanus, M., huch, F. and Vidal, g. Lazy call-by-value evaluation. In Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming. aCM Press, 2007, 265-276.
11. braßel, b., hanus, M., huch, F., silva, J. and Vidal, g. run-time profling of functional logic programs. In Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation. springer LnCs 3573, 2005, 182-197.
12. braßel, b., hanus, M., and Müller, M. high-level database programming in Curry. In Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages. springer LnCs 4902, 2008, 316-332.
13. braßel, b. and huch, F. on a tighter integration of functional and logic programming. In Proceedings of APLAS 2007. springer LnCs 4807, 2007, 122-138
14. Casas, a., Cabeza, d., and hermenegildo, M.V. a syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems In Proc. of the 8th International Symposium on Functional and Logic Programming. springer LnCs 3945, 2006, 146-162.
15. Claessen, K. and Ljunglöf, P. typed logical variables in haskell. In Proceedings ACM SIGPLAN Haskell Workshop, Montreal, 2000.
16. Cleva, J.M., Leach, J., and López-Fraguas, F.J. A logic programming approach to the verifcation of functional-logic programs. In Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. aCM Press, 2004, 9-19.
17. Fischer, s. and Kuchen, h. systematic generation of glass-box test cases for functional logic programs. In Proceedings of the 9th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. aCM Press, 2007, 75-89.
18. garcía de la banda, M.J., demoen, b., Marriott, K. and stuckey, P.J. to the gates of haL: a haL tutorial. In Proceedings of the 6th International Symposium on Functional and Logic Programming. springer LnCs 2441, 2002, 47-66.
19. gonzález-Moreno, J.C., hortalá-gonzález, M.t., López-Fraguas, F.J. and rodríguez-artalejo, M. an approach to declarative programming based on a rewriting logic. Journal of Logic Programming, 1999, 40-47.
20. hanus, M. teaching functional and logic programming with a single computation model. In Proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics, and Programs. springer LnCs 1292, 1997, 335-350.
21. hanus, M. type-oriented construction of Web user interfaces. In Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. aCM Press, 2006, 27-38.
22. hanus, M. Multi-paradigm declarative languages. In Proceedings of the International Conference on Logic Programming. springer LnCs 4670, 2007, 45-75.
23. hanus, M. Call pattern analysis for functional logic programs. In Proceedings of the 10th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. aCM Press, 2008, 67-78
24. hanus, M. and höppner, K. Programming autonomous robots in Curry. Electronic Notes in Theoretical Computer Science, 76, 2002.
25. hanus, M. and huch, F. an open system to support Web-based learning. In Proceedings 12th International Workshop on Functional and (Constraint) Logic Programming, 2003, 269-282.
26. hanus, M. and Kluß, C. declarative programming of user interfaces. In Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages. springer LnCs 5418, 2009, 16-30
27. hanus, M., ed. Curry: an integrated functional logic language (vers. 0.8.2, 2006); http://www.curry-language.org/.
28. hussmann, h. nondeterministic algebraic specifcations and nonconfuent term rewriting. Journal of Logic Programming, 1992, 237-255.
29. Lloyd. J. Programming in an integrated functional and logic language. J. Functional and Logic Programming 3, 1 (1999), 1-49.
30. López-Fraguas, F. and sánchez-hernández, J. toy: a multiparadigm declarative system. In Proceedings of RTA'99. springer LnCs 1631, 1999, 244-247.
31. Lux, W. Implementing encapsulated search for a lazy functional logic language. In Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming. springer LnCs 1722, 1999, 100-113
32. Milner, r., tofte, M. and harper, r. The Defnition of Standard ML. MIt Press, 1990
33. okasaki, C. Purely Functional Data Structures. Cambridge University Press, 1998.
34. Peyton Jones, s. (ed). Haskell 98 Language and Libraries\The Revised Report. Cambridge University Press, 2003.
35. reddy, U.s. narrowing as the operational semantics of functional languages. In Proceedings of the IEEE International Symposium on Logic in Computer Science (boston, 1985), 138-151
36. sheard, t. type-level computation using narrowing in mega. Electron. Notes Theor. Comput. Sci. 174, 7 (2007), 105-128.
37. slagle, J.r. automated theorem-proving for theories with simplifers, commutativity, and associativity. J. ACM 21, 4 (1974), 622-642.
38. smolka, g. the oz programming model. Computer Science Today: Recent Trends and Developments. J. van Leeuwen (ed). springer LnCs 1000, 1995, 324-343.
39. somogyi, Z., henderson, F., and Conway, t. the execution algorithm of Mercury, an effcient purely declarative logic programming language. J. Logic Programming 29, 1-3 (1996), 17-64.