1461 search results - page 16 / 293 » Analysis of Constraint Logic Programs |
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
PPDP
1999
Springer
13 years 12 months ago
1999
Springer
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
ENDM
2010
13 years 7 months ago
2010
We call "on/off" constraint an algebraic constraint that is activated if and only if