The Effects of Modalities in Separation Logics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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})}$
Fichier principal
Vignette du fichier
final-short-aiml2014.pdf (194.89 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03201037 , version 1 (01-11-2023)

Identifiants

  • HAL Id : hal-03201037 , version 1

Citer

Stéphane Demri, Morgan Deters. The Effects of Modalities in Separation Logics. Proceedings of the 10th Conference on Advances in Modal Logics (AiML'14), Aug 2014, Groningen, Netherlands. pp.134-138. ⟨hal-03201037⟩

Collections

CNRS
31 Consultations
6 Téléchargements

Partager

Gmail Facebook X LinkedIn More