1411 search results - page 79 / 283 » A Value Analysis for C Programs |
168
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
145
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of AspectOriented Programming (AOP) for the devel...
131
click to vote
FOCS
2010
IEEE
15 years 2 months ago
2010
IEEE
The Coin Problem is the following problem: a coin is given, which lands on head with probability either 1/2 + or 1/2 - . We are given the outcome of n independent tosses of this co...
143
click to vote
MOBICOM
2012
ACM
13 years 6 months ago
2012
ACM
Many networked applications that run in the background on a mobile device incur significant energy drains when using the cellular radio interface for communication. This is mainl...
183
click to vote
ISSTA
1991
ACM
15 years 7 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...