785 search results - page 10 / 157 » Static Analysis of Android Programs |
106
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
141
Voted
AGP
2010
IEEE
15 years 6 months ago
2010
IEEE
104
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
60
Voted
JOT
2008
15 years 1 months ago
2008
77
Voted
ICFEM
2010
Springer
15 years 11 days ago
2010
Springer