3090 search results - page 279 / 618 » On Testing Answer-Set Programs |
147
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
170
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
156
click to vote
AUIC
2006
IEEE
16 years 22 days ago
2006
IEEE
Graphical rewrite rules are often used in programming environments for children. These rules consist of two parts: a left-hand side, which is visually matched in the environment, ...
204
click to vote
ITICSE
2005
ACM
16 years 6 days ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...
210
click to vote
AADEBUG
2005
Springer
16 years 6 days ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...