High-level database programming in curry

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

Volumn 4902 LNCS, Issue , 2007, Pages 316-332

  Braßel, Bernd ^a   Hanus, Michael ^a   Müller, Marion ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; APPLICATION PROGRAMMING INTERFACES (API); COMPUTER AIDED SOFTWARE ENGINEERING; HIGH LEVEL LANGUAGES; KNOWLEDGE REPRESENTATION;

CURRY'S TYPE SYSTEMS; DATABASE ACCESS METHODS; DECLARATIVE PROGRAMMING LANGUAGES; HIGH-LEVEL DATABASE PROGRAMMING;

DATABASE SYSTEMS;

EID: 38549157275     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (18)

1. Antoy, S., Echahed, R., Hanus, M.: A Needed Narrowing Strategy. Journal of the ACM 47(4), 776-822 (2000)
2. Chen, P.P.-S.: The Entity-Relationship Model - Toward a Unified View of Data. ACM Transactions on Database Systems 1(1), 9-36 (1976)
3. Correas, J., Gómez, J.M., Carro, M., Cabeza, D., Hermenegildo, M.: A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol. 3057, pp. 104-119. Springer, Heidelberg (2004)
4. Das, S.K.: Deductive Databases and Logic Programming. Addison-Wesley, Reading (1992)
5. Fischer, S.: A Functional Logic Database Library. In: WCFLP 2005. Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, pp. 54-59. ACM Press, New York (2005)
6. Gallaire, H., Minker, J. (eds.): Logic and Databases. Plenum Press, New York (1978)
7. Hanus, M.: 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)
8. 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)
9. Hanus, M.: High-Level Server Side Web Scripting in Curry. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 76-92. Springer, Heidelberg (2001)
10. Hanus, M.: Dynamic Predicates in Functional Logic Programs. Journal of Functional and Logic Programming 2004(5) (2004)
11. Hanus, M.: Type-Oriented Construction of Web User Interfaces. In: PPDP 2006. Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 27-38. ACM Press, New York (2006)
12. Hanus, M.: Multi-paradigm Declarative Languages. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 45-75. Springer, Heidelberg (2007)
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 (2007), 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. Huseby, S.H.: Innocent Code: A Security Wake-Up Call for Web Programmers. Wiley, Chichester (2003)
16. López-Fraguas, F., Sánchez-Hernández, J.: TOY: A Multiparadigm Declarative System. In: Narendran, P., Rusinowitch, M. (eds.) RTA 1999. LNCS, vol. 1631, pp. 244-247. Springer, Heidelberg (1999)
17. Peyton Jones, S. (ed.): Haskell 98 Language and Libraries - The Revised Report. Cambridge University Press, Cambridge (2003)
18. Wadler, P.: How to Declare an Imperative. ACM Computing Surveys 29(3), 240-263 (1997)