Detail publikace

Register Automata with Linear Arithmetic

LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. Register Automata with Linear Arithmetic. In Proceedings of LICS'17. Reykjavik: IEEE Computer Society, 2017. p. 1-12. ISBN: 978-1-5090-3018-7.
Název česky
Registrové automaty s lineární aritmetikou
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Lengál Ondřej, Ing., Ph.D. (UITS)
Chen Yu-Fang
Tan Tony (FIT)
Wu Zhilin (FIT)
Klíčová slova

register automata, linear arithmetic, invariant problem, reachability, equivalence, affine programs, rational numbers

Abstrakt

Tento článek zavádí rozšíření registrových automatů o lineární aritmetiku a studuje vlastnosti tohoto rozšíření.

Rok
2017
Strany
1–12
Sborník
Proceedings of LICS'17
ISBN
978-1-5090-3018-7
Vydavatel
IEEE Computer Society
Místo
Reykjavik
DOI
10.1109/LICS.2017.8005111
UT WoS
000425849500049
EID Scopus
2-s2.0-85034024772
BibTeX 
@inproceedings{BUT146259,
  author="Ondřej {Lengál} and Yu-Fang {Chen} and Tony {Tan} and Zhilin {Wu}",
  title="Register Automata with Linear Arithmetic",
  booktitle="Proceedings of LICS'17",
  year="2017",
  pages="1--12",
  publisher="IEEE Computer Society",
  address="Reykjavik",
  doi="10.1109/LICS.2017.8005111",
  isbn="978-1-5090-3018-7",
  url="https://www.fit.vut.cz/research/publication/11431/"
}
Nahoru