On a tighter integration of functional and logic programming

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

Volumn 4807 LNCS, Issue , 2007, Pages 122-138

  Braßel, Bernd ^a   Huch, Frank ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONAL PROGRAMMING;

DECLARATIVE ENCAPSULATION; LOGIC SEARCH;

LOGIC PROGRAMMING;

EID: 38149106705     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76637-7_9     Document Type: Conference Paper

References (15)

1. Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: Operational semantics for declarative multi-paradigm languages. Journal of Symbolic Computation 40(1), 795-829 (2005)
2. Antoy, S., Brown, D., Chiang, S.-H.: On the correctness of bubbling. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol. 4098, pp. 35-49. Springer, Heidelberg (2006)
3. Antoy, S., Echahed, R., Hanus, M.: A needed narrowing strategy. Journal of the ACM 47(4), 776-822 (2000)
4. Antoy, S., Hanus, M.: Overlapping rules and logic variables in functional logic programs. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 87-101. Springer, Heidelberg (2006)
5. Braßel, B., Hanus, M., Huch, F.: Encapsulating non-determinism in functional logic computations. Journal of Functional and Logic Programming 2004(6) (2004)
6. Braßel, B., Huch, F.: Translating Curry to Haskell. In: WCFLP 2005, pp. 60-65. ACM Press, New York (2005)
7. Braßel, B., Huch, F.: On the tighter integration of functional and logic programming. Technical Report 0710, Institute of Computer Science, CAU Kiel (2007)
8. Dios, J., López-Fraguas, F. J.: Elimination of extra variables from functional logic programs. In: Lucio, P., Orejas, F. (eds.) PROLE 2006, pp. 121-135 (2006)
9. González-Moreno, J.C., Hortalá-González, M.T., López-Fraguas, F.J., RodríguezArtalejo, M.: An approach to declarative programming based on a rewriting logic. Journal of Logic Programming 40, 47-87 (1999)
10. Hanus, M., Antoy, S., Braßel, B., Engelke, M., Höppner, K., Koj, J., Niederau, P., Sadre, R., Steiner, F.: PAKCS: The Portland Aachen Kiel Curry System (2006), Available at http://www.informatik.uni-kiel.de/~pakcs/
11. Hanus, M. (ed): Curry: An integrated functional logic language (vers. 0.8.2) (2006), Available at http://www.informatik.uni-kiel.de/~curry
12. Hinze, R.: Prolog's control constructs in a functional setting - axioms and implementation. International Journal of Foundations of Computer Science 12(2), 125-170 (2001)
13. Launchbury, J.: A natural semantics for lazy evaluation. In: POPL 1993, pp. 144154. ACM Press, New York (1993)
14. Lux, W.: Implementing encapsulated search for a lazy functional logic language. In: Middeldorp, A. (ed.) FLOPS 1999. LNCS, vol. 1722, pp. 100-113. Springer, Heidelberg (1999)
15. Lux, W., Kuchen, H.: An efficient abstract machine for Curry. In: Beiersdörfer, K., Engels, G., Schäfer, W. (eds.) Informatik 1999 - Annual meeting of the German Computer Science Society (GI), pp. 390-399. Springer, Heidelberg (1999)