1911 search results - page 234 / 383 » Program analysis for code duplication in logic programs |
163
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
142
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
It is common to imbed business rules within the code of distributed object systems. When business practices and/or policies change, as they often do, it is difficult if not imposs...
166
click to vote
SP
2008
IEEE
15 years 11 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
131
Voted
ASPLOS
2004
ACM
15 years 10 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
126
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Using small, context-specific interfaces in variable declarations serves the decoupling of classes and increases a program’s flexibility. To minimize its interface, a thorough a...