Detail publikace

Solving String Constraints with Lengths by Stabilization

CHEN Yu-Fang, CHOCHOLATÝ David, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a SÍČ Juraj. Solving String Constraints with Lengths by Stabilization. Proceedings of the ACM on Programming Languages, roč. 7, č. 10, 2023, s. 2112-2141. ISSN 2475-1421. Dostupné z: http://dx.doi.org/10.1145/3622872
Název česky
Řešení řetězcových omezení s délkami pomocí stabilizace
Typ
článek v časopise
Jazyk
angličtina
Autoři
Chen Yu-Fang (ASIN)
Chocholatý David, Bc. (FIT VUT)
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Síč Juraj, Mgr. (UITS FIT VUT)
URL
Abstrakt

Tento článek ukazuje, jak rozšířit algoritmus pro řešení řetězcových omezení pomocí techniky stabilizace na řetězcová omezení s délkami.

Rok
2023
Strany
2112-2141
Časopis
Proceedings of the ACM on Programming Languages, roč. 7, č. 10, ISSN 2475-1421
Vydavatel
Association for Computing Machinery
DOI
10.1145/3622872
UT WoS
001087279100076
EID Scopus
2-s2.0-85174877465
BibTeX 
@ARTICLE{FITPUB13093,
   author = "Yu-Fang Chen and David Chocholat\'{y} and Vojt\v{e}ch Havlena and Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l and Juraj S\'{i}\v{c}",
   title = "Solving String Constraints with Lengths by Stabilization",
   pages = "2112--2141",
   journal = "Proceedings of the ACM on Programming Languages",
   volume = 7,
   number = 10,
   year = 2023,
   ISSN = "2475-1421",
   doi = "10.1145/3622872",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13093"
}
Nahoru