Detail publikace

Compositional Entailment Checking for a Fragment of Separation Logic

ENEA, C.; LENGÁL, O.; SIGHIREANU, M.; VOJNAR, T. Compositional Entailment Checking for a Fragment of Separation Logic. In Proceedings of APLAS'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2014. p. 314-333. ISBN: 978-3-319-12735-4.
Název česky
Kompozitní testování implikace pro fragment separační logiky
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Enea Constantin (FIT)
Lengál Ondřej, Ing., Ph.D. (UITS)
Sighireanu Mihaela
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

program verification, decision procedures, separation logic, tree automata

Abstrakt

Tento článek představuje (semi-)rozhodovací proceduru pro významný fragment separační logiky založenou na stromových automatech a grafových morfismech.

Rok
2014
Strany
314–333
Sborník
Proceedings of APLAS'14
Řada
Lecture Notes in Computer Science
Svazek
8858
Konference
12th Asian Symposium on Programming Languages and Systems -- APLAS'14, Singapore, SG
ISBN
978-3-319-12735-4
Vydavatel
Springer Verlag
Místo
Heidelberg
EID Scopus
2-s2.0-84910017407
BibTeX 
@inproceedings{BUT111608,
  author="Constantin {Enea} and Ondřej {Lengál} and Mihaela {Sighireanu} and Tomáš {Vojnar}",
  title="Compositional Entailment Checking for a Fragment of Separation Logic",
  booktitle="Proceedings of APLAS'14",
  year="2014",
  series="Lecture Notes in Computer Science",
  volume="8858",
  pages="314--333",
  publisher="Springer Verlag",
  address="Heidelberg",
  isbn="978-3-319-12735-4"
}
Nahoru