1179 search results - page 125 / 236 » Programming in Hybrid Constraint Languages |
WWW
2005
ACM
16 years 2 months ago
2005
ACM
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
122
click to vote
LOPSTR
2007
Springer
15 years 7 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
102
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
101
click to vote
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
206
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
The ALLDIFFERENT constraint was one of the first global constraints [17] and it enforces the conjunction of one binary constraint, the not-equal constraint, for every pair of varia...