4081 search results - page 362 / 817 » The Impact of Constraint Programming |
163
click to vote
JOT
2007
2007
A Framework to Specify Declarative Rules on Objects, Attributes and Associations in the Object Model
15 years 6 months ago
There are various mechanisms for creating an application object model. These mechanisms are used for modeling the application Meta model and the user models. Some of the mechanism...
174
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
188
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Recent functional logic languages such as Curry and Toy combine lazy functional programming with logic programming features including logic variables, non-determinism, unification...
190
click to vote
PPDP
2004
Springer
16 years 4 days ago
2004
Springer
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
168
click to vote
AADEBUG
1997
Springer
15 years 11 months ago
1997
Springer
This paper introduces the bisection debugging model. The key idea is to use a debugger to identify the semantic differences between two versions of the same program. The debugger ...