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)
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"
}
Nahoru