785 search results - page 67 / 157 » Static Analysis of Android Programs |
128
click to vote
PPDP
1999
Springer
15 years 6 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
130
click to vote
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
108
click to vote
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
109
click to vote
ISORC
2007
IEEE
15 years 8 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
117
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...