590 search results - page 1 / 118 » Debugging Program Loops Using Approximate Modeling |
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
ICLP
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
AI
2002
Springer
13 years 10 months ago
2002
Springer
Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI te...
POPL
2007
ACM
14 years 11 months ago
2007
ACM
Reuse distance (i.e. LRU stack distance) precisely characterizes program locality and has been a basic tool for memory system research since the 1970s. However, the high cost of m...
SOCO
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...