Detail publikace

Deciding Entailments in Inductive Separation Logic with Tree Automata

IOSIF Radu, ROGALEWICZ Adam a VOJNAR Tomáš. Deciding Entailments in Inductive Separation Logic with Tree Automata. In: Proceedings of ATVA'14. Lecture Notes in Computer Science, roč. 8837. Heidelberg: Springer Verlag, 2014, s. 201-218. ISBN 978-3-319-11935-9. Dostupné z: http://rd.springer.com/chapter/10.1007%2F978-3-319-11936-6_15
Název česky
Rozhodovací procedura pro separační logiku s induktivními definicemi založená na stromových automatech
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Abstrakt

Článek popisuje rozhodovací proceduru pro fragment separační logiky s induktivními definicemi. Rozhodovací procedura je založená na polynomiální redukci na problém incluze jazyků stromových automatů. Tato rozhodovací procedura je EXPTIME-úplná.

Rok
2014
Strany
201-218
Sborník
Proceedings of ATVA'14
Řada
Lecture Notes in Computer Science
Svazek
8837
Konference
12th International Symposium on Automated Technology for Verification and Analysis, Sydney, AU
ISBN
978-3-319-11935-9
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
UT WoS
000345585700019
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB10691,
   author = "Radu Iosif and Adam Rogalewicz and Tom\'{a}\v{s} Vojnar",
   title = "Deciding Entailments in Inductive Separation Logic with Tree Automata",
   pages = "201--218",
   booktitle = "Proceedings of ATVA'14",
   series = "Lecture Notes in Computer Science",
   volume = 8837,
   year = 2014,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-11935-9",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10691"
}
Nahoru