1179 search results - page 35 / 236 » Programming in Hybrid Constraint Languages |
191
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
We investigate soft open constraints. We generalize and unify classes of soft constraints and adapt them to the open setting. We give sufficient conditions for generalized classes ...
105
click to vote
HYBRID
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
165
click to vote
AGP
2010
IEEE
14 years 11 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...
132
click to vote
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...
120
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...