Model Counting for Recursively-Defined Strings
Model Counting for Recursively-Defined Strings
复制标题
递归定义字符串的模型计数
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
J. Jaffar
中科院分区：
文献类型：
--
作者：
Minh;D. Chu;J. Jaffar
提出了一类字符串约束模型计数的新算法。除了经典的连接操作外，我们的类还包括一些递归定义的操作，如Kleene闭包和子串替换。此外，我们的类还包括对字符串表达式的长度约束，这意味着，通过要求对数字进行推理，我们面临着多排序逻辑。最后，我们的字符串约束的动机是在Web应用程序编程中使用它们。
We present a new algorithm for model counting of a class of string constraints. In addition to the classic operation of concatenation, our class includes some recursively defined operations such as Kleene closure, and replacement of substrings. Additionally, our class also includes length constraints on the string expressions, which means, by requiring reasoning about numbers, that we face a multi-sorted logic. In the end, our string constraints are motivated by their use in programming for web applications.
影响因子：
1.2
作者：
Clark, David;Hunt, Sebastian;Malacaria, Pasquale
通讯作者：
Malacaria, Pasquale
DOI：
10.1145/2382756.2382791
发表时间：
2012
期刊：
ACM SIGSOFT Software Engineering Notes
影响因子：
--
作者：
Phan Q
通讯作者：
Phan Q