Fakulta informačních technologií VUT v Brně

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)
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
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"
}
Nahoru