785 search results - page 2 / 157 » Static Analysis of Android Programs |
ADAEUROPE
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. The control flow graph is the basis for many code optimisation and analysis techniques. We introduce a new framework for the construction of powerful CFG-based represent...
CC
2002
Springer
13 years 9 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
SIGADA
1998
Springer
14 years 1 months ago
1998
Springer
MICRO
1994
IEEE
14 years 1 months ago
1994
IEEE
: Program profiles identify frequently executed portions of a program, which are the places at which optimizations offer programmers and compilers the greatest benefit. Compilers, ...
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...