785 search results - page 127 / 157 » Static Analysis of Android Programs |
117
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
146
click to vote
ITA
2007
15 years 1 months ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
115
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
This paper describes Automatic Pool Allocation, a transformation framework that segregates distinct instances of heap-based data structures into seperate memory pools and allows h...
102
click to vote
ICPP
1994
IEEE
15 years 6 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
128
click to vote
IMC
2006
ACM
15 years 7 months ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...