Detail publikace

Compositional Entailment Checking for a Fragment of Separation Logic

ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela a VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. In: Proceedings of APLAS'14. Lecture Notes in Computer Science, roč. 8858. Heidelberg: Springer Verlag, 2014, s. 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
angličtina
Autoři
Enea Constantin (LIAFA UP7/CNRS)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Sighireanu Mihaela (LIAFA UP7/CNRS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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, DE
EID Scopus
2-s2.0-84910017407
BibTeX 
@INPROCEEDINGS{FITPUB10701,
   author = "Constantin Enea and Ond\v{r}ej Leng\'{a}l and Mihaela Sighireanu and Tom\'{a}\v{s} Vojnar",
   title = "Compositional Entailment Checking for a Fragment of Separation Logic",
   pages = "314--333",
   booktitle = "Proceedings of APLAS'14",
   series = "Lecture Notes in Computer Science",
   volume = 8858,
   year = 2014,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-12735-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10701"
}
Nahoru