Implementing Relational Specifications in a Constraint Functional Logic Language

Electronic Notes in Theoretical Computer Science

Volumn 177, Issue 1, 2007, Pages 169-183

  Berghammer, Rudolf ^a   Fischer, Sebastian ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

constraint solving; Curry; Functional programming; relation algebra; relational specifications

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; LOGIC PROGRAMMING; PROBLEM SOLVING;

CONSTRAINT SOLVING; RELATION ALGEBRA; RELATIONAL SPECIFICATIONS;

FUNCTIONAL PROGRAMMING;

EID: 34248663506     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.01.011     Document Type: Article

References (17)

1. Berghammer R., and Hoffmann T. Relational depth-first-search with applications. Information Sciences 139 (2001) 167-186
2. Berghammer, R. and F. Neumann, RelView - An OBBD-based Computer Algebra system for relations, in: Proc. Int. Workshop on Computer Algebra in Scientific Computing (2005), pp. 40-51
3. Braßel B., Hanus M., and Huch F. Encapsulating non-determinism in functional logic computations. Journal of Functional and Logic Programming 2004 (2004)
4. In: Brink C., Kahl W., and Schmidt G. (Eds). Relational Methods in Computer Science. Advances in Computing (1997), Springer
5. Bryant R. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers C35 (1986) 677-691
6. In: de Swart H., Orlowska E., Schmidt G., and Roubens M. (Eds). Theory and Applications of Relational Structures as Knowledge Instruments. Lecture Notes in Computer Science 2929 (2003), Springer
7. Fernández A., Hortalá-González M., and Sáenz-Pérez F. Solving combinatorial problems with a constraint functional logic language. Proc. 5th Int. Symposium on Practical Aspects of Declarative Languages. (PADL 2003) (2003) 320-338
8. Hanus M. The integration of functions into logic programming: From theory to practice. Journal of Logic Programming 19&20 (1994) 583-628
9. Hanus M., et al. PAKCS: The Portland Aachen Kiel Curry System (version 1.7.1). Available at URL (2003). http://www.informatik.uni-kiel.de/~pakcs/
10. Hanus M., et al. Curry: An integrated functional logic language (version 0.8.2). Available at URL (2006). http://www.informatik.uni-kiel.de/~curry
11. Kahl W. Semigroupoid interfaces for relation-algebraic programming in Haskell. In: Schmidt R.A. (Ed). Relations and Kleene Algebra in Computer Science. Lecture Notes in Computer Science 4136 (2006) 235-250
12. Lux W. Adding linear constraints over real numbers to Curry. Proc. 5th Int. Symposium on Functional and Logic Programming. (FLOPS 2001) (2001) 185-200
13. In: MacCaull W., Winter M., and Düntsch I. (Eds). Proc. Int. Seminar on Relational Methods in Computer Science. Lecture Notes in Computer Science 3929 (2006), Springer
14. In: Peyton Jones S. (Ed). Haskell 98 Language and Libraries-The Revised Report (2003), Cambridge University Press
15. Ravelo J. Two graph-algorithms derived. Acta Informatica 36 (1999) 489-510
16. Schmidt G. A proposal for a multilevel relational reference language. Journal of Relational Methods in Computer Science 1 (2004) 314-338
17. Schmidt G., and Ströhlein T. Relations and Graphs - Discrete Mathematics for Computer Scientists (1993), Springer