785 search results - page 104 / 157 » Static Analysis of Android Programs |
121
click to vote
LPAR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
165
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
138
click to vote
TACAS
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
148
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
117
click to vote
LCTRTS
2007
Springer
15 years 8 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...