4081 search results - page 448 / 817 » The Impact of Constraint Programming |
172
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Programming in an object-oriented language demands a fine balance between high degrees of expressiveness and control. At one level, we need to permit objects to interact freely t...
190
click to vote
LPNMR
2005
Springer
16 years 5 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
179
click to vote
OOPSLA
2005
Springer
16 years 5 days ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
195
click to vote
ICCL
1998
IEEE
15 years 11 months ago
1998
IEEE
An aggregate array computation is a loop that computes accumulated quantities over array elements. Such computations are common in programs that use arrays, and the array elements...
176
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...