5090 search results - page 479 / 1018 » Constructing Strategies for Programming |
194
click to vote
CC
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
162
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
169
click to vote
SEFM
2008
IEEE
16 years 1 months ago
2008
IEEE
Aspect oriented programming can arbitrarily distort the semantics of programs. In particular, weaving can invalidate crucial safety and liveness properties of the base program. In...
203
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
161
click to vote
PLDI
2006
ACM
16 years 27 days ago
2006
ACM
Dependence graphs and memoization can be used to efficiently update the output of a program as the input changes dynamically. Recent work has studied techniques for combining the...