A Decidable Fragment of Separation Logic.
Josh BerdineCristiano CalcagnoPeter W. O'HearnPublished in: FSTTCS (2004)
Keyphrases
- automata theoretic
- temporal logic
- guarded fragment
- first order logic
- transitive closure
- regular path queries
- modal logic
- logic programming
- linear time temporal logic
- classical logic
- proof theory
- database
- multi valued
- computational properties
- nonmonotonic logics
- formal theory
- logical framework
- natural deduction
- linear temporal logic
- model checking
- artificial intelligence
- data sets