4854 search results - page 130 / 971 » It's the Programming, Stupid |
175
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Multithreaded programs often suffer from synchronization bugs such as atomicity violations and deadlocks. These bugs arise from complicated locking strategies and ad hoc synchroni...
164
Voted
PADL
2012
Springer
14 years 1 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
204
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
200
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
141
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...