Detail publikace
Chain-Free String Constraints
ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš a JANKŮ Petr. Chain-Free String Constraints. In: Proceedings of ATVA'19. Lecture Notes in Computer Science, roč. 11781. Cham: Springer International Publishing, 2019, s. 277-293. ISBN 978-3-030-31783-6. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-31784-3_16
Název česky
Řetězová omezení bez cyklů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Atig Mohamed F. (Uppsala)
Bui Phi Diep (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Janků Petr, Ing. (UITS FIT VUT)
Atig Mohamed F. (Uppsala)
Bui Phi Diep (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Janků Petr, Ing. (UITS FIT VUT)
URL
Abstrakt
Tento článek přichází s největším dosud známým rozhodnutelným fragmentem nad řetězcovými omezeními a rozhodovací procedurou pro tento fragment. Vzniklý nástroj podporuje bohatý vstupní jazyk nad řetězcovými omezeními a je efektivnější než jiné současné nástroje.
Rok
2019
Strany
277-293
Sborník
Proceedings of ATVA'19
Řada
Lecture Notes in Computer Science
Svazek
11781
Konference
17th International Symposium on Automated Technology for Verification and Analysis, Taipei, TW
ISBN
978-3-030-31783-6
Vydavatel
Springer International Publishing
Místo
Cham, CH
DOI
UT WoS
000723515700016
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB12134, author = "A. Parosh Abdulla and F. Mohamed Atig and Diep Phi Bui and Luk\'{a}\v{s} Hol\'{i}k and Petr Jank\r{u}", title = "Chain-Free String Constraints", pages = "277--293", booktitle = "Proceedings of ATVA'19", series = "Lecture Notes in Computer Science", volume = 11781, year = 2019, location = "Cham, CH", publisher = "Springer International Publishing", ISBN = "978-3-030-31783-6", doi = "10.1007/978-3-030-31784-3\_16", language = "english", url = "https://www.fit.vut.cz/research/publication/12134" }