Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Subject "Program Analysis"
Now showing items 1-1 of 1
-
What is Decidable about Strings?
(2011-02-01)We prove several decidability and undecidability results for the satisfiability/validity problem of formulas over a language of finite-length strings and integers (interpreted as lengths of strings). The atomic formulas ...