785 search results - page 11 / 157 » Static Analysis of Android Programs |
SAS
2010
Springer
13 years 8 months ago
2010
Springer
CORR
2011
Springer
13 years 4 months ago
2011
Springer
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
Transparent persistence promises to integrate programming languages and databases by allowing procedural programs to access persistent data with the same ease as non-persistent da...
PASTE
2004
ACM
14 years 3 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...