Detail publikace

String constraints with concatenation and transducers solved efficiently

HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. String constraints with concatenation and transducers solved efficiently. Proceedings of the ACM on Programming Languages, 2018, vol. 2, no. 2, p. 96-127. ISSN: 2475-1421.
Název česky
Řetězcová omezení s konkatenací a převodníky řešena efektivně
Typ
článek v časopise
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Janků Petr, Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Lin Anthony (FIT)
Rummer Philipp
URL
Klíčová slova

Alternating Finite Automata, Decision Procedure, IC3, String Solving

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č. 2, č. 2, ISSN 2475-1421
DOI
10.1145/3158092
UT WoS
000688016900004
EID Scopus
2-s2.0-85120114692
BibTeX 
@article{BUT144696,
  author="Lukáš {Holík} and Petr {Janků} and Tomáš {Vojnar} and Anthony {Lin} and Philipp {Rummer}",
  title="String constraints with concatenation and transducers solved efficiently",
  journal="Proceedings of the ACM on Programming Languages",
  year="2018",
  volume="2",
  number="2",
  pages="96--127",
  doi="10.1145/3158092",
  issn="2475-1421",
  url="http://doi.acm.org/10.1145/3158092"
}
Nahoru