3481 search results - page 372 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
133
Voted
PADL
2004
Springer
15 years 10 months ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
119
click to vote
PARLE
1992
15 years 9 months ago
1992
We compare di erent degrees of architecture abstraction and communication reliability in distributed programming languages. A nearly architecture independent logic programming lang...
141
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Depth of an object concerns a tradeoff between computation time and excess of program length over the shortest program length required to obtain the object. It gives an unconditio...
165
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
In this paper, line search based on Sequential Quadratic Programming is implemented in order to find a solution to Fuzzy Relation Equations. Sequential Quadratic Programming is a g...
170
Voted
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...