Detail publikace

A Uniform Framework for Handling Position Constraints in String Solving

CHEN Yu-Fang, HAVLENA Vojtěch, HEČKO Michal, HOLÍK Lukáš a LENGÁL Ondřej. A Uniform Framework for Handling Position Constraints in String Solving. Proceedings of the ACM on Programming Languages, 2025. ISSN 2475-1421.
Název česky
Uniformní rámec pro řešení pozičních omezení nad řetězci
Typ
článek v časopise
Jazyk
angličtina
Autoři
Chen Yu-Fang (ASIN)
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Hečko Michal, Ing. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Rok
2025 (v tisku)
Časopis
Proceedings of the ACM on Programming Languages, ISSN 2475-1421
Kniha
Proceedings of PLDI'25
Vydavatel
Association for Computing Machinery
BibTeX 
@ARTICLE{FITPUB13500,
   author = "Yu-Fang Chen and Vojt\v{e}ch Havlena and Michal He\v{c}ko and Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l",
   title = "A Uniform Framework for Handling Position Constraints in String Solving",
   booktitle = "Proceedings of PLDI'25",
   journal = "Proceedings of the ACM on Programming Languages",
   year = 2025,
   ISSN = "2475-1421",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13500"
}
Nahoru