Strings at MOSCA-Reference-Cited by-同舟云学术

Strings at MOSCA

Published:2019-11-25 Issue:4 Volume:6 Page:4-22
ISSN:2372-3491
Container-title:ACM SIGLOG News
language:en
Short-container-title:ACM SIGLOG News

Author:

Hague Matthew¹

Affiliation:

1. University of London

Abstract

The first edition of MOSCA, the Meeting on String Constraints and Applications was held in May 2019 in the otherworldly location of Bertinoro [D'Antoni et al. 2019]. For one week, 43 participants presented surveys and discussed recent research into the analysis of string constraints.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/3373394.3373396

Reference53 articles.

1. Flatten and conquer: a framework for efficient analysis of string constraints

2. Parosh Aziz Abdulla Yu-Fang Chen Lorenzo Clemente Seth Fogarty Lukas Holik Chih-Duo Hong Ondra Lengal Richard Mayr Jiri Simacek Moshe Vardi and Tomas Vojnar. 2017b. http://languageinclusion.org. (2017). [Online; accessed 18-July-2019]. Parosh Aziz Abdulla Yu-Fang Chen Lorenzo Clemente Seth Fogarty Lukas Holik Chih-Duo Hong Ondra Lengal Richard Mayr Jiri Simacek Moshe Vardi and Tomas Vojnar. 2017b. http://languageinclusion.org. (2017). [Online; accessed 18-July-2019].

3. MiniZinc with Strings

4. Renzo Angles Marcelo Arenas Pablo Barceló Aidan Hogan Juan L. Reutter and Domagoj Vrgoc. 2017. Foundations of Modern Query Languages for Graph Databases. ACM Comput. Surv. 50 5 (2017) 68:1--68:40. 10.1145/3104031 Renzo Angles Marcelo Arenas Pablo Barceló Aidan Hogan Juan L. Reutter and Domagoj Vrgoc. 2017. Foundations of Modern Query Languages for Graph Databases. ACM Comput. Surv. 50 5 (2017) 68:1--68:40. 10.1145/3104031

5. Parameterized model counting for string and numeric constraints

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Closer Look at the Expressive Power of Logics Based on Word Equations;Theory of Computing Systems;2023-12-11

2. On the Expressive Power of String Constraints;Proceedings of the ACM on Programming Languages;2023-01-09

3. Matching Patterns with Variables Under Simon’s Congruence;Lecture Notes in Computer Science;2023

4. Word Equations in the Context of String Solving;Developments in Language Theory;2022