35 search results - page 1 / 7 » On the Compilation of Programs into their Equivalent Constra... |
INFORMATICASI
2008
13 years 4 months ago
2008
ICLP
2005
Springer
13 years 10 months ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
CC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
IJCAI
2003
13 years 6 months ago
2003
To model combinatorial decision problems involving uncertainty and probability, we extend the stochastic constraint programming framework proposed in [Walsh, 2002] along a number ...
SFP
2003
13 years 6 months ago
2003
: Static single information form is a natural extension of the well-known static single assignment form. It is a program intermediate representation used in optimising compilers fo...