3342 search results - page 219 / 669 » Automating Abstract Interpretation |
CSL
2007
Springer
15 years 9 months ago
2007
Springer
We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-varia...
112
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
132
click to vote
CSIE
2009
IEEE
15 years 6 months ago
2009
IEEE
Mobile devices are constrained in terms of computational power, battery lifetime and memory sizes. Software development for mobile devices is further complicated by application co...
114
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...