1 Hit in 6.2 sec

On the Separability Problem of String Constraints [article]

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave, Shankara Narayanan Krishna
2020 arXiv   pre-print
In our third result, we consider the positive fragment of piece-wise testable languages as a separator, and obtain an EXPSPACE algorithm for the separability of a useful class of straight-line string constraints  ...  The separability of string constraints is the same as the fundamental problem of interpolation for string constraints.  ...  In Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS  ... 
arXiv:2005.09489v2 fatcat:xawgwg7q3jayfpchgxacyuo74e