1613 search results - page 26 / 323 » Functional and Constraint Logic Programming |
118
Voted
CONSTRAINTS
2008
15 years 2 months ago
2008
We present a novel approach to automatically reformulating constraints defined as tables of allowed assignments to variables. Constraints of this form are common in a variety of se...
145
Voted
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
90
Voted
SAC
2006
ACM
15 years 8 months ago
2006
ACM
107
Voted
WCFLP
2005
ACM
15 years 8 months ago
2005
ACM
86
Voted
AADEBUG
2000
Springer
15 years 7 months ago
2000
Springer
