3889 search results - page 396 / 778 » The Use of Program Dependence Graphs in Software Engineering |
186
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Aspect-oriented programming (AOP) eases the development of profilers, debuggers, and reverse engineering tools. Such tools frequently rely on calling context information. However,...
320
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...
195
click to vote
ACL2
2006
ACM
16 years 22 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
173
click to vote
ESOP
2005
Springer
16 years 8 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
170
Voted
PASTE
2004
ACM
16 years 5 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...