Detail publikace
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej a TURRINI Andrea. A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. In: Proceedings of APLAS'20. Heidelberg: Springer Verlag, 2020, s. 343-363. ISSN 0302-9743.
Název česky
Symbolický algoritmus pro pravidlo "Case-Split" při řešení omezení nad řetězci
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Turrini Andrea (UCAS)
Chen Yu-Fang (ASIN)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Turrini Andrea (UCAS)
Klíčová slova
řešení omezení s řetězci
regulární model checking
Nielsenova transformace
symbolické kódování
Abstrakt
Článek popisuje způsob, jak lze symbolicky kódovat Nielsonovu transformaci pro řešení omezení nad řetězci.
Rok
2020
Strany
343-363
Časopis
Lecture Notes in Computer Science, č. 12470, ISSN 0302-9743
Sborník
Proceedings of APLAS'20
Konference
18th Asian Symposium on Programming Languages and Systems -- APLAS'20, Fukuoka City, JP
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
DOI
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB12347, author = "Vojt\v{e}ch Havlena and Yu-Fang Chen and Ond\v{r}ej Leng\'{a}l and Andrea Turrini", title = "A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving", pages = "343--363", booktitle = "Proceedings of APLAS'20", journal = "Lecture Notes in Computer Science", number = 12470, year = 2020, location = "Heidelberg, DE", publisher = "Springer Verlag", ISSN = "0302-9743", doi = "10.1007/978-3-030-64437-6\_18", language = "english", url = "https://www.fit.vut.cz/research/publication/12347" }