Detail publikace

A Uniform Framework for Handling Position Constraints in String Solving

CHEN, Y.; HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O. 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
anglicky
Autoři
Chen Yu-Fang
Havlena Vojtěch, Ing., Ph.D. (UITS)
Hečko Michal, Ing. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Rok
2025 (v tisku)
Časopis
Proceedings of the ACM on Programming Languages, ISSN 2475-1421
Kniha
Proceedings of PLDI'25
BibTeX 
@article{BUT197690,
  author="Yu-Fang {Chen} and Vojtěch {Havlena} and Michal {Hečko} and Lukáš {Holík} and Ondřej {Lengál}",
  title="A Uniform Framework for Handling Position Constraints in String Solving",
  journal="Proceedings of the ACM on Programming Languages",
  year="2025",
  issn="2475-1421"
}
Nahoru