Declarative programming with function patterns

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

Volumn 3901 LNCS, Issue , 2006, Pages 6-22

  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

CODES (SYMBOLS); COMPUTER SYSTEM FIREWALLS; FUNCTION EVALUATION; HIGH LEVEL LANGUAGES; LOGIC PROGRAMMING; SEMANTICS;

DECLARATIVE PROGRAMMING; FUNCTION PATTERNS; OPERATION SYMBOLS;

COMPUTER PROGRAMMING;

EID: 33745613029     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11680093_2     Document Type: Conference Paper

References (28)

1. E. Albert, M. Hanus, F. Huch, J. Oliver, and G. Vidal. Operational Semantics for Declarative Multi-Paradigm Languages. Journal of Symbolic Computation, Vol. 40, No. 1, pp. 795-829, 2005.
2. M. Alpuente, M. Falaschi, and G. Vidal. Partial Evaluation of Functional Logic Programs. ACM Transactions on Programming Languages and Systems, Vol. 20, No. 4, pp. 768-844, 1998.
3. S. Antoy. Optimal Non-Deterministic Functional Logic Computations. In Proc. International Conference on Algebraic and Logic Programming (ALP'97), pp. 16-30. Springer LNCS 1298, 1997.
4. S. Antoy. Constructor-based Conditional Narrowing. In Proc. of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2001), pp. 199-206. ACM Press, 2001.
5. S. Antoy. Evaluation Strategies for Functional Logic Programming. Journal of Symbolic Computation, Vol. 40, No. 1, pp. 875-903, 2005.
6. S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, Vol. 47, No. 4, pp. 776-822, 2000.
7. S. Antoy and M. Hanus. Compiling Multi-Paradigm Declarative Programs into Prolog. In Proc. International Workshop on Frontiers of Combining Systems (FroCoS'2000), pp. 171-185. Springer LNCS 1794, 2000.
8. S. Antoy and M. Hanus. Functional Logic Design Patterns. In Proc. of the 6th International Symposium on Functional and Logic Programming (FLOPS 2002), pp. 67-87. Springer LNCS 2441, 2002.
9. F. Baader and T. Nipkow. Term Rewriting and All That. Cambridge University Press, 1998.
10. N. Dershowitz and J.-P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pp. 243-320. Elsevier, 1990.
11. M. Erwig and S. Peyton Jones. Pattern Guards and Transformational Patterns. Electronic Notes in Theoretical Computer Science, Vol. 41, No. 1, 2000.
12. L. Fribourg. SLOG: A Logic Programming Language Interpreter Based on Clausal Super-position and Rewriting. In Proc. IEEE Internat. Symposium on Logic Programming, pp. 172-184, Boston, 1985.
13. E. Giovannetti, G. Levi, C. Moiso, and C. Palamidessi. Kernel LEAF: A Logic plus Functional Language. Journal of Computer and System Sciences, Vol. 42, No. 2, pp. 139-185, 1991.
14. J.C. González-Moreno, M.T. Hortalá-González, F.J. López-Fraguas, and M. Rodríguez-Artalejo. An approach to declarative programming based on a rewriting logic. Journal of Logic Programming, Vol. 40, pp. 47-87, 1999.
15. M. Hanus. Compiling Logic Programs with Equality. In Proc. of the 2nd Int. Workshop on Programming Language Implementation and Logic Programming, pp. 387-401. Springer LNCS 456, 1990.
16. M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, Vol. 19&20, pp. 583-628, 1994.
17. M. Hanus. A Unified Computation Model for Functional and Logic Programming. In Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pp. 80-93, 1997.
18. M. Hanus. A Functional Logic Programming Approach to Graphical User Interfaces. In International Workshop on Practical Aspects of Declarative Languages (PADL'00), pp. 47-62. Springer LNCS 1753, 2000.
19. 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), pp. 76-92. Springer LNCS 1990, 2001.
20. M. Hanus, S. Antoy, M. Engelke, 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/, 2004.
21. M. Hanus and F. Steiner. Controlling Search in Declarative Programs. In Principles of Declarative Programming (Proc. Joint International Symposium PLILP/ALP'98), pp. 374-390. Springer LNCS 1490, 1998.
22. M. Hanus (ed.). Curry: An Integrated Functional Logic Language (Vers. 0.8). Available at http://www.Informatik.uni-kiel.de/-curry, 2003.
23. J. Jaffar and J.-L. Lassez. Constraint Logic Programming. In Proc. of the 14th ACM Symposium on Principles of Programming Languages, pp. 111-119, Munich, 1987.
24. R. Lämmel and S.L. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. In Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (TLDl'03), pp. 26-37. ACM Press, 2003.
25. F. López-Fraguas and J. Sánchez-Hernández. TOY: A Multiparadigm Declarative System. In Proc. of RTA'99, pp. 244-247. Springer LNCS 1631, 1999.
26. M. Mohnen. Context Patterns in Haskell. In Implementation of Functional Languages, pp. 41-57. Springer LNCS 1268, 1997.
27. S. Peyton Jones, editor. Haskell 98 Language and Libraries - The Revised Report. Cambridge University Press, 2003.
28. M. Tullsen. First class patterns. In 2nd International Workshop on Practical Aspects of Declarative Languages (PADL'00), pp. 1-15. Springer LNCS 1753, 2000.