2861 search results - page 11 / 573 » Constraint Programming |
APLAS
2003
ACM
15 years 2 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...
CL
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
AMAST
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
83
Voted
SAC
2010
ACM
15 years 4 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...
COLING
2000
14 years 11 months ago
2000
In this paper, lmrsing-as-deduction and constraint programming are brought together to outline a procedure for the speeitication of constraint-based chart parsers. Fob lowing the ...