Článek ve sborníku konference

HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp a VOJNAR Tomáš. String constraints with concatenation and transducers solved efficiently. In: Proceedings of the ACM on Programming Languages. New York: Association for Computing Machinery, 2018, s. 96-127. ISBN 978-1-4503-5587-2. Dostupné z: http://doi.acm.org/10.1145/3158092
Jazyk publikace:angličtina
Název publikace:String constraints with concatenation and transducers solved efficiently
Název (cs):Řetězcová omezení s konkatenací a převodníky řešena efektivně
Strany:96-127
Sborník:Proceedings of the ACM on Programming Languages
Konference:International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2018)/Symposium on Principles of Programming Languages (POPL 2018)
Řada knih:Volume 2 Issue POPL
Místo vydání:New York, US
Rok:2018
URL:http://doi.acm.org/10.1145/3158092
ISBN:978-1-4503-5587-2
DOI:10.1145/3158092
Vydavatel:Association for Computing Machinery
Klíčová slova
Alternating Finite Automata, Decision Procedure, IC3, String Solving
Anotace
Tento článek přichází s efektivní rozhodovací procedurou pro analýzu řetězcových progrmů založenou na alternujících automatech.
BibTeX:
@INPROCEEDINGS{
   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},
   booktitle = {Proceedings of the ACM on Programming Languages},
   series = {Volume 2 Issue POPL},
   year = {2018},
   location = {New York, US},
   publisher = {Association for Computing Machinery},
   ISBN = {978-1-4503-5587-2},
   doi = {10.1145/3158092},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11615}
}

Vaše IPv4 adresa: 54.198.55.167
Přepnout na IPv6 spojení

DNSSEC [dnssec]