Cooperative constraint functional logic programming

International Workshop on Principles of Software Evolution (IWPSE)

Volumn 2000-January, Issue , 2000, Pages 214-220

  Marin, Mircea ^a   Ida, Tetsuo ^a   Suzuki, Taro ^b  

^a UNIVERSITY OF TSUKUBA   (Japan)

^b TOHOKU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; FUNCTIONAL PROGRAMMING; INTEGRAL EQUATIONS; MESSAGE PASSING;

CONSTRAINT FUNCTIONAL LOGIC PROGRAMMING; CONSTRAINT SOLVING; DISTRIBUTED CONSTRAINT SOLVING; DISTRIBUTED ENVIRONMENTS; DISTRIBUTED IMPLEMENTATION; FUNCTIONAL LOGIC PROGRAMMING; MIXED CONSTRAINTS; USER DEFINED FUNCTIONS;

LOGIC PROGRAMMING;

EID: 84949752085     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPSE.2000.913241     Document Type: Conference Paper

References (8)

1. W. Gould. A matching procedure for w-order logic. Scientific Report 4. Air Force Cambridge Research Laboratories, 1966.
2. H. Hong. Non-linear Constraints Solving over Real Numbers in Constraint Logic Programming (Introducing RISC-CLP). Technical Report 92-08, RISC-Linz, Castle of Hagenberg, Austria, 1992.
3. G. Huet. A Unification Algorithm for Typed λ-Calculus. Theoretical Computer Science, 1:27-57, 1975.
4. M. Marin. Functional Logic Programming with Distributed Constraint Solving. PhD thesis, Research Institute for Symbolic Computation (RISC-Linz), Johannes Kepler University, Schloss Hagenberg, April 2000.
5. M. Marin, T. Ida, and T. Suzuki. On Reducing the Search Space of Higher-Order Lazy Narrowing. In A. Middeldorp and T. Sato, editors, FLOPS'99, volume 1722 of LNCS, pages 225-240. Springer-Verlag, 1999.
6. A. Middeldorp and S. Okui. A Deterministic Lazy Narrowing Calculus. Journal of Symbolic Computation, 25(6):733-757, 1998.
7. A. Middeldorp, S. Okui, and T. Ida. Lazy Narrowing: Strong Completeness and Eager Variable Elimination. Theoretical Computer Science, 167(1, 2):95-l 30, 1996.
8. S. Wolfram. The Mathematica Book. Third Edition. Wolfram Media and Cambridge University Press, 1996.