Fakulta informačních technologií VUT v Brně

Detail publikace

String constraints with concatenation and transducers solved efficiently

HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp a VOJNAR Tomáš. String constraints with concatenation and transducers solved efficiently. Proceedings of the ACM on Programming Languages, roč. 2018, č. 2, s. 96-127. ISSN 2475-1421. Dostupné z: http://doi.acm.org/10.1145/3158092
Název česky
Řetězcová omezení s konkatenací a převodníky řešena efektivně
Typ
článek v časopise
Jazyk
angličtina
Autoři
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT)
Janků Petr, Ing. (UITS FIT VUT)
Lin Anthony W. (UOx)
Rummer Philipp (Uppsala)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt
Tento článek přichází s efektivní rozhodovací procedurou pro analýzu řetězcových progrmů založenou na alternujících automatech.
Rok
2018
Strany
96-127
Časopis
Proceedings of the ACM on Programming Languages, roč. 2018, č. 2, ISSN 2475-1421
Vydavatel
Association for Computing Machinery
DOI
BibTeX
@ARTICLE{FITPUB11615,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Petr Jank\r{u} and W. Anthony Lin and Philipp Rummer and Tom\'{a}\v{s} Vojnar",
   title = "String constraints with concatenation and transducers solved efficiently",
   pages = "96--127",
   journal = "Proceedings of the ACM on Programming Languages",
   volume = 2018,
   number = 2,
   year = 2018,
   ISSN = "2475-1421",
   doi = "10.1145/3158092",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11615"
}
Nahoru