1702 search results - page 120 / 341 » Doomed program points |
132
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...
171
click to vote
HOTSWUP
2009
ACM
15 years 8 months ago
2009
ACM
Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: Ho...
262
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
216
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...
123
Voted
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...