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