3926 search results - page 603 / 786 » A Logic of Object-Oriented Programs |
161
Voted
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
150
click to vote
PEPM
2004
ACM
15 years 10 months ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
138
click to vote
COMPSAC
2003
IEEE
15 years 10 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...
162
click to vote
SCAM
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
127
click to vote
LCPC
2001
Springer
15 years 9 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...