164 search results - page 2 / 33 » A Decidable Fragment of Separation Logic |
115
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
101
click to vote
RTA
1998
Springer
15 years 6 months ago
1998
Springer
We show that simultaneous rigid E-unification, or SREU for short, is decidable and in fact EXPTIME-complete in the case of one variable. This result implies that the fragment of i...
111
Voted
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
110
click to vote
CSL
2008
Springer
15 years 3 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...