The Effects of Modalities in Separation Logics
Résumé
Like modal logic, temporal logic, or description logic, separation logic has become a popular class of logical formalisms in computer science, conceived as assertion languages for Hoare-style proof systems with the goal to perform automatic program analysis. We present similarities with modal and temporal logics, and we present landmark results about decidability, complexity and expressive power.
$\mathbf{(short \ paper \ available \ at \ \mbox{http://www.aiml.net/volumes/volume10/Demri-Deters.pdf})}$
Origine : Fichiers produits par l'(les) auteur(s)