Concurrent distinct choices

Journal of Functional Programming

Volumn 14, Issue 6, 2004, Pages 657-668

  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

CRYPTARITHM; FINITE MAPPING; PROGRAM REPRESENTATION; VALUE-INDEX PAIRS;

FORMAL LOGIC; FUNCTIONS; PROBLEM SOLVING; QUERY LANGUAGES; SET THEORY;

MATHEMATICAL PROGRAMMING;

EID: 9744242779     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S095679680400509X     Document Type: Article

References (16)

1. Aït-Kaci, H. (1990) An overview of LIFE. In: Schmidt, J. and Stogny, A. (eds), Proc. Workshop on Next Generation Information System Technology: LNCS 504, pp. 42-58. Springer-Verlag.
2. Aït-Kaci, H., Lincoln, P. and Nasr, R. (1987) Le Fun: Logic, equations, and functions. Proc. 4th IEEE Internat. Symposium on Logic Programming, pp. 17-23.
3. Antoy, S. (1997) Optimal non-deterministic functional logic computations. Proc. International Conference on Algebraic and Logic Programming (ALP'97): LNCS 1298, pp. 16-30. Springer-Verlag.
4. Antoy, S., Echahed, R. and Hanus, M. (2000) A needed narrowing strategy. J. ACM, 47(4), 776-822.
5. Hanus, M. (1994) The integration of functions into logic programming: From theory to practice. J. Logic Program. 19&20, 583-628.
6. Hanus, M. (1997) A unified computation model for functional and logic programming. Proc. 24th ACM Symposium on Principles of Programming Languages, pp. 80-93. Paris, France.
7. Hanus, M., Antoy, S., Engelke, M., Höppner, K., Koj, J., Niederau, P., Sadre, R. and Steiner, F. (2003) PAKCS: The Portland Aachen Kiel Curry System. Available at http://www.Informatik.uni-kiel.de/~pakcs.
8. Hanus, M. (editor) (2003) Curry: An Integrated Functional Logic Language (Vers. 0.8). Available at http://www.informatik.uni-kiel.de/~curry.
9. Lloyd, J. (1999) Programming in an integrated functional and logic language. J. Funct. & Logic Program. 1-49.
10. López-Fraguas, F. and Sánchez-Hernández, J. (1999) TOY: A Multiparadigm Declarative System. Proc. RTA'99: LNCS 1631, pp. 244-247. Springer-Verlag.
11. Merriam-Webster. Dictionary Online. Web document. URL http://www.m-w.com/dictionary.htm accessed August 28, 2003 05:56 UTC.
12. Naish, L. (1991) Adding equations to NU-Prolog. Proc. 3rd Int. Symposium on Programming Language Implementation and Logic Programming: LNCS 528, pp. 15-26. Springer-Verlag.
13. Peyton Jones, S. and Hughes, J. (1999) Haskell 98: A Non-strict, Purely Functional Language. http://www.haskell.org.
14. Saraswat, V. (1993) Concurrent Constraint Programming. MIT Press.
15. Smolka, G. (1995) The Oz programming model. In: van Leeuwen, J. (editor), Computer Science Today: Recent Trends and Developments: LNCS 1000, pp. 324-343. Springer-Verlag.
16. Somogyi, Z., Henderson, F. and Conway, T. (1996) The execution algorithm of Mercury, an efficient purely declarative logic programming language. J. Logic Program. 29(1-3), 17-64.