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. Formal Methods in System Design, roč. 2017, č. 51, s. 575-607. ISSN 0925-9856.
Název česky
Kompozitní testování implikace pro fragment separační logiky
Typ
článek v časopise
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)
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
2017
Strany
575-607
Časopis
Formal Methods in System Design, roč. 2017, č. 51, ISSN 0925-9856
Vydavatel
Springer Verlag
DOI
UT WoS
000416332700007
EID Scopus
BibTeX
@ARTICLE{FITPUB11504, 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 = "575--607", journal = "Formal Methods in System Design", volume = 2017, number = 51, year = 2017, ISSN = "0925-9856", doi = "10.1007/s10703-017-0289-4", language = "english", url = "https://www.fit.vut.cz/research/publication/11504" }