Result 1 to 20 of 26 total
On the cooperation of the constraint domains H, R and FD in CFLP. (English)
Comput. Res. Repos. 2009, Article No. 0904.2136 (2009).
1
Cooperation of constraint domains in the {\it TOY} system (English)
PPDP, 258-268 (2008).
2
A proposal for the cooperation of solvers in constraint functional logic programming. (English)
Electron. Notes Theor. Comput. Sci. 188, 37-51 (2007).
3
A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme. (English)
Electron. Notes Theor. Comput. Sci. 177, 235-252 (2007).
4
Constraint functional logic programming over finite domains. (English)
Comput. Res. Repos. 2006, Article No. 0601071 (2006).
5
Programming with $TOY(FD)$ (English)
CP, 878-878 (2005).
6
Solving combinatorial problems with a constraint functional logic language (English)
PADL, 320-338 (2003).
7
$Toy(FD)$: sketch of operational semantics (English)
CP, 827-831 (2003).
8
Polymorphic types in functional logic programming. (English)
J. Funct. Log. Program. 2001, Spec. Iss. 1, 97 p., electronic only (2001).
9
Polymorphic types in functional logic programming (English)
Journal of Functional and Logic Programming 2001, No. 1 (2001).
10
An abstract machine based system for a lazy narrowing calculus (English)
FLOPS, 216-232 (2001).
11
An abstract machine based experimental system for a lazy narrowing calculus (English)
WFLP, 525-540 (2000).
12
Semantics and types in functional logic programming. (English)
Middeldorp, Aart (ed.) et al., Functional and logic programming. 4th Fuji international symposium, FLOPS ’99, Tsukuba, Japan, November 11-13, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1722, 1-20 (1999).
13
An approach to declarative programming based on a rewriting logic. (English)
J. Log. Program. 40, No.1, 47-87 (1999).
14
An approach to declarative programming based on a rewriting logic (English)
J. Log. Program. 40, No. 1, 47-87 (1999).
15
Semantics and types in functional logic programming (English)
Fuji International Symposium on Functional and Logic Programming, 1-20 (1999).
16
A higher order rewriting logic for functional logic programming (English)
ICLP, 153-167 (1997).
17
Real constraints within a functional logic language (English)
APPIA-GULP-PRODE, 451-464 (1996).
18
A rewriting logic for declarative programming (English)
ESOP, 156-172 (1996).
19
On the completeness of narrowing as the operational semantics of functional logic programming. (English)
Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 216-230 (1993).
20
Result 1 to 20 of 26 total
Start
Contact
Print
General Help
