Functional logic design patterns

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

Volumn 2441, Issue , 2002, Pages 67-87

  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

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING; PROBLEM ORIENTED LANGUAGES; RECONFIGURABLE HARDWARE; SOFTWARE DESIGN;

DATA TYPE; DESIGN AND IMPLEMENTATIONS; DESIGN PATTERNS; FUNCTIONAL LOGIC LANGUAGES; NON DETERMINISM; SOFTWARE DESIGN PATTERNS;

COMPUTER CIRCUITS;

EID: 77950348949     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45788-7     Document Type: Conference Paper

References (39)

1. [1] H. Aït-Kaci. An overview of LIFE. In J. Schmidt and A. Stogny, editors, Proc. Workshop on Next Generation Information System Technology, pages 42–58. Springer LNCS 504, 1990
2. [2] H. Aït-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, equations, and functions. In Proc. 4th IEEE Internat. Symposium on Logic Programming, pages 17–23, San Francisco, 1987.
3. [3] S. Antoy. Optimal non-deterministic functional logic computations. In Proc. International Conference on Algebraic and Logic Programming (ALP’97), pages 16–30. Springer LNCS 1298, 1997.
4. [4] S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. Journal of the ACM, 47(4):776–822, 2000.
5. [5] S. Antoy and M. Hanus. Compiling multi-paradigm declarative programs into Prolog. In Proc. International Workshop on Frontiers of Combining Systems (FroCoS’2000), pages 171–185. Springer LNCS 1794, 2000.
6. [6] S. Antoy, M. Hanus, B. Massey, and F. Steiner. An implementation of narrowing strategies. In Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001), pages 207–217. ACM Press, 2001.
7. [7] K. Beck and W. Cunningham. Using pattern languages for object-oriented programs. In Specification and Design for Object-Oriented Programming (OOPSLA- 87), 1987.
8. [8] J. Boye. S-SLD-resolution – an operational semantics for logic programs with external procedures. In Proc. of the 3rd Int. Symposium on Programming Language Implementation and Logic Programming, pages 383–393. Springer LNCS 528, 1991.
9. [9] F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, and G. Puebla. The Ciao Prolog system. Reference manual. Technical report CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), 1997.
10. [10] R. Caballero and F. López-Fraguas. A functional-logic perspective of parsing. In Proc. of the 4th Fuji Int’l Symposium on Functional and Logic Programming, pages 85–99, Tsukuba, Japan, 1999. Springer LNCS 1722.
11. [11] K. Claessen, T. Vullinghs, and E. Meijer. Structuring graphical paradigms in TkGofer. In Proc. of the International Conference on Functional Programming (ICFP’97), pages 251–262. ACM SIGPLAN Notices Vol. 32, No. 8, 1997.
12. [12] J.W. Cooper. Java Design Patterns. Addison Wesley, 2000.
13. [13] M. Erwig. Functional programming with graphs. In 2nd ACM SIGPLAN Int. Conf. on Functional Programming (ICFP’97), pages 52–65, 1997.
14. [14] E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1994.
15. [15] J. González-Moreno, M. Hortalá-González, F. López-Fraguas, and M. Rodríguez- Artalejo. An approach to declarative programming based on a rewriting logic. Journal of Logic Programming, 40:47–87, 1999.
16. [16] M. Grand. Patterns in Java. J. Wiley, 1998
17. [17] M. Hanus. Improving control of logic programs by using functional logic languages. In Proc. of the 4th International Symposium on Programming Language Implementation and Logic Programming, pages 1–23. Springer LNCS 631, 1992.
18. [18] M. Hanus. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming, 19&20:583–628, 1994.
19. [19] M. Hanus. Analysis of residuating logic programs. Journal of Logic Programming, 24(3):161–199, 1995.
20. [20] M. Hanus. Efficient translation of lazy functional logic programs into Prolog. In Proc. Fifth International Workshop on Logic Program Synthesis and Transformation, pages 252–266. Springer LNCS 1048, 1995.
21. [21] M. Hanus. A unified computation model for functional and logic programming. In Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pages 80–93, 1997.
22. [22] M. Hanus. Distributed programming in a multi-paradigm declarative language. In Proc. of the International Conference on Principles and Practice of Declarative Programming (PPDP’99), pages 376–395. Springer LNCS 1702, 1999.
23. [23] M. Hanus. A functional logic programming approach to graphical user interfaces. In International Workshop on Practical Aspects of Declarative Languages (PADL’00), pages 47–62. Springer LNCS 1753, 2000
24. [24] M. Hanus. High-level server side web scripting in Curry. In Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL’01), pages 76–92. Springer LNCS 1990, 2001.
25. [25] M. Hanus, S. Antoy, K. Höppner, J. Koj, P. Niederau, R. Sadre, and F. Steiner. PAKCS: The Portland Aachen Kiel Curry System. Available at http://www.informatik.uni-kiel.de/~{}pakcs/, 2002.
26. [26] M. Hanus and R. Sadre. An abstract machine for Curry and its concurrent implementation in Java. Journal of Functional and Logic Programming, 1999(6), 1999.
27. [27] M. Hanus and F. Steiner. Controlling search in declarative programs. In Principles of Declarative Programming (Proc. Joint International Symposium PLILP/ALP’98), pages 374–390. Springer LNCS 1490, 1998.
28. [28] M. Hanus (ed.). Curry: An integrated functional logic language (vers. 0.7). Available at http://www.informatik.uni-kiel.de/~curry, 2000.
29. [29] E. Horowitz and S. Sahni. Fundamentals of Computer Algorithms. Computer Science Press, 1978.
30. [30] J. Langr. Essential Java Style: Patterns for Implementation. Prentice Hall, 2000.
31. [31] J. Lloyd. Programming in an integrated functional and logic language. Journal of Functional and Logic Programming, (3):1–49, 1999.
32. [32] F. López-Fraguas and J. Sánchez-Hernández. TOY: A Multiparadigm Declarative System. In Proc. of RTA’99, pages 244–247. Springer LNCS 1631, 1999.
33. [33] E. Meijer. Server side web scripting in Haskell. Journal of Functional Programming, 10(1):1–18, 2000.
34. [34] L. Naish. Adding equations to NU-Prolog. In Proc. of the 3rd Int. Symposium on Programming Language Implementation and Logic Programming, pages 15–26. Springer LNCS 528, 1991.
35. [35] S. Peyton Jones and J. Hughes. Haskell 98: A non-strict, purely functional language. http://www.haskell.org, 1999.
36. [36] V. Saraswat. Concurrent Constraint Programming. MIT Press, 1993.
37. [37] C. Schulte and G. Smolka. Encapsulated search for higher-order concurrent constraint programming. In Proc. of the 1994 International Logic Programming Symposium, pages 505–520. MIT Press, 1994.
38. [38] G. Smolka. The Oz programming model. In J. van Leeuwen, editor, Computer Science Today: Recent Trends and Developments, pages 324–343. Springer LNCS 1000, 1995.
39. [39] Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury, an efficient purely declarative logic programming language. Journal of Logic Programming, 29(1-3):17–64, 1996.