Faculty of Information Technology, BUT

Publication Details

Compositional Entailment Checking for a Fragment of Separation Logic

ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. FIT-TR-2014-01, Brno: Faculty of Information Technology BUT, 2014.
Type
technical report
Language
english
Authors
Enea Constantin (LIAFA UP7/CNRS)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Sighireanu Mihaela (LIAFA UP7/CNRS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Published
2014
Pages
1-19
Publisher
Faculty of Information Technology BUT
Place
FIT-TR-2014-01, Brno, CZ
BibTeX
@TECHREPORT{FITPUB10704,
   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 = "1--19",
   year = 2014,
   location = "FIT-TR-2014-01, Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10704"
}
Back to top