Detail publikace

Compositional Entailment Checking for a Fragment of Separation Logic

LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M. Compositional Entailment Checking for a Fragment of Separation Logic. FORMAL METHODS IN SYSTEM DESIGN, 2017, vol. 2017, no. 51, p. 575-607. ISSN: 0925-9856.
Název česky
Kompozitní testování implikace pro fragment separační logiky
Typ
článek v časopise
Jazyk
anglicky
Autoři
Lengál Ondřej, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Enea Constantin (FIT)
Sighireanu Mihaela
Klíčová slova

program analysis, separation logic, decision procedure, tree automata

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
DOI
10.1007/s10703-017-0289-4
UT WoS
000416332700007
EID Scopus
2-s2.0-85026808268
BibTeX 
@article{BUT144468,
  author="Ondřej {Lengál} and Tomáš {Vojnar} and Constantin {Enea} and Mihaela {Sighireanu}",
  title="Compositional Entailment Checking for a Fragment of Separation Logic",
  journal="FORMAL METHODS IN SYSTEM DESIGN",
  year="2017",
  volume="2017",
  number="51",
  pages="575--607",
  doi="10.1007/s10703-017-0289-4",
  issn="0925-9856",
  url="https://www.fit.vut.cz/research/publication/11504/"
}
Nahoru