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
Iosif Radu (VERIMAG)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
2-s2.0-84908681084
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