1179 search results - page 135 / 236 » Programming in Hybrid Constraint Languages |
122
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Control saturation is an important limitation in practical control systems and it is well known that performance degradation or instability may result if this limitation is not...
100
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy--i.e.,...
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
105
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
110
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents experimental comparisons between declarative encodings of various computationally hard problems in both Answer Set Programming (ASP) and Constraint Logic Progra...