Sciweavers

1613 search results - page 38 / 323
» Functional and Constraint Logic Programming
Sort
View
CSUR
1998
73views more  CSUR 1998»
15 years 5 months ago
A Unifying View of Functional and Logic Program Specialization
María Alpuente, Moreno Falaschi, Germ&aacut...
TOPLAS
1998
41views more  TOPLAS 1998»
15 years 5 months ago
Partial Evaluation of Functional Logic Programs
María Alpuente, Moreno Falaschi, Germ&aacut...
CP
2000
Springer
15 years 10 months ago
Linear Formulation of Constraint Programming Models and Hybrid Solvers
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...
Philippe Refalo
ICDT
2003
ACM
121views Database» more  ICDT 2003»
15 years 11 months ago
Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
Floris Geerts, Bart Kuijpers