Cited By
View all- Chida NTerauchi TFilkov VRay BZhou M(2024)Repairing Regex-Dependent String FunctionsProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695005(294-305)Online publication date: 27-Oct-2024
- Stjerna ARümmer P(2024)A Constraint Solving Approach to Parikh Images of Regular LanguagesProceedings of the ACM on Programming Languages10.1145/36498558:OOPSLA1(1235-1263)Online publication date: 29-Apr-2024
- Hague MJeż ALin A(2024)Parikh’s Theorem Made SymbolicProceedings of the ACM on Programming Languages10.1145/36329078:POPL(1945-1977)Online publication date: 5-Jan-2024
- Show More Cited By