Browsing by Subject "XSS"
Now showing items 1-1 of 1
-
(Assoc Computing Machinery, 2016)We study the fundamental issue of decidability of satisfiability over string logics with concatenations and finite-state transducers as atomic operations. Although restricting to one type of operations yields decidability, ...