1911 search results - page 202 / 383 » Program analysis for code duplication in logic programs |
155
click to vote
LICS
2009
IEEE
16 years 24 days ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
174
click to vote
PADL
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. In aspect-oriented programming, pointcuts are usually compiled by identifying a set of shadows — that is, places in the code whose execution is potentially relevant for...
145
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Studies show that programs contain much similar code, commonly known as clones. One of the main reasons for introducing clones is programmers' tendency to copy and paste code...
155
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Data races occur when multiple threads are about to access the same piece of memory, and at least one of those accesses is a write. Such races can lead to hard-to-reproduce bugs t...
159
click to vote
COMPSAC
2006
IEEE
16 years 6 days ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...