3090 search results - page 350 / 618 » On Testing Answer-Set Programs |
157
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
157
click to vote
PASTE
1998
ACM
15 years 11 months ago
1998
ACM
The task of mappingbetween source programs and machine code, once the code has been optimizedand transformed by a compiler is often di cult. Yet there are many instances, such as ...
177
Voted
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
We present a declarative and visual debugging environment for Eclipse called JIVE.1 Traditional debugging is procedural in that a programmer must proceed step-by-step and objectby...
162
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
The Compaan compiler automatically derives a Process Network (PN) description from an application written in Matlab. The basic element of a PN is a Producer/Consumer (P/C) pair. F...
165
click to vote
IPCO
2007
15 years 8 months ago
2007
We introduce orbital branching, an effective branching method for integer programs containing a great deal of symmetry. The method is based on computing groups of variables that a...