167 search results - page 14 / 34 » Contexts in Dynamic Predicate Logic |
77
Voted
JOLLI
2008
15 years 13 days ago
2008
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
137
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
105
click to vote
CAEPIA
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
167
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
90
Voted
CF
2010
ACM
15 years 5 months ago
2010
ACM
Branches that depend directly or indirectly on load instructions are a leading cause of mispredictions by state-of-the-art branch predictors. For a branch of this type, there is a...