1613 search results - page 232 / 323 » Functional and Constraint Logic Programming |
131
Voted
SCP
2010
15 years 29 days ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
112
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
138
Voted
WEA
2010
Springer
15 years 9 months ago
2010
Springer
Resource leveling is a variant of resource-constrained project scheduling in which a non-regular objective function, the resource availability cost, is to be minimized. We present ...
117
Voted
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
89
Voted
AGP
1999
IEEE
15 years 6 months ago
1999
IEEE
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither aring nor its non-redundant (but equivalent) abstra...