Logical Investigations on Separation Logics (ESSLLI 2015)
Résumé
Lecture notes of the course "Logical Investigations on Separation Logics", ESSLLI 2015, August 2015, Barcelona.
Mots clés
test formula
PSPACE
data word
propositional interval temporal logic PITL
modal separation logic
Minsky machine
arithmetical constraint
data logic
separation logic with data
modal logic
magic wand
separating conjunction
SMT
QBF
decision procedure
finite model property
reachability logic
separation logic
Hoare logic
pointer
bunched implications logic BI
first-order logic
second-order logic
quantifier-free separation logic
propositional separation logic
complexity
expressive power
undecidability
Origine : Fichiers produits par l'(les) auteur(s)