The kiel curry system KiCS

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

Volumn 5437 LNAI, Issue , 2009, Pages 195-205

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

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL LOGIC LANGUAGES; NON-DETERMINISM; SEARCH CONTROL; SEARCH TREES; TRANSPARENT ENCAPSULATION;

JAVA PROGRAMMING LANGUAGE; LOGIC PROGRAMMING;

KNOWLEDGE MANAGEMENT;

EID: 70350637550     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00675-3_13     Document Type: Conference Paper

References (17)

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.W., 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., Hanus, M.: Functional logic design patterns. In: Hu, Z., Rodríguez-Artalejo, M. (eds.) FLOPS 2002. LNCS, vol. 2441, pp. 67-87. Springer, Heidelberg (2002)
4. Braßel, B., Hanus, M., Huch, F.: Encapsulating non-determinism in functional logic computations. Journal of Functional and Logic Programming 2004(6) (2004)
5. Braßel, B., Hanus, M., Müller, M.: High-level database programming in curry. In: Hudak, P.,Warren, D.S. (eds.) PADL 2008. LNCS, vol. 4902, pp. 316-332. Springer, Heidelberg (2008)
6. Braßel, B., Huch, F., Fischer, S.: Declaring numbers. In: Proceedings of the 16th International Workshop on Funcional and (Constraint) Logic Programming (WFLP 2007), Paris, France (July 2007)
7. Braßel, B., Huch, F.: On a tighter integration of functional and logic programming. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 122-138. Springer, Heidelberg (2007)
8. Gallego, E.J., Marino, J.: An overview of the Sloth 2005 Curry system. In: Hanus, M. (ed.) FirstWorkshop on Curry and Functional Logic Programming. ACM Press, New York (2005)
9. Hanus, M.: On the completeness of residuation. In: Proc. of the 1992 Joint International Conference and Symposium on Logic Programming, pp. 192-206. MIT Press, Cambridge (1992)
10. Hanus, M.: The integration of functions into logic programming: From theory to practice. Journal of Logic Programming 19&20, 583-628 (1994)
11. Hanus, M.: A functional logic programming approach to graphical user interfaces. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol. 1753, pp. 47-62. Springer, Heidelberg (2000)
12. 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 (PPDP 2006), pp. 27-38. ACM Press, New York (2006)
13. 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), http://www.informatik.uni-kiel.de/̃pakcs/
14. Hanus, M. (ed.): Curry: An integrated functional logic language, vers. 0.8.2 (2006), http://www.informatik.uni-kiel.de/̃curry
15. Lux, W., Kuchen, H.: An efficient abstract machine for curry. In: Beiersdörfer, K., Engels, G., Schafer, W. (eds.) Informatik 1999 - Annual meeting of the German Computer Science Society (GI), pp. 390-399. Springer, Heidelberg (1999)
16. Peyton Jones, S. (ed.): Haskell 98 Language and Libraries-The Revised Report. Cambridge University Press, Cambridge (2003)
17. Smolka, G.: The Oz programming model. In: van Leeuwen, J. (ed.) Computer Science Today. LNCS, vol. 1000, pp. 324-343. Springer, Heidelberg (1995)