Publisher
Springer International Publishing
Reference19 articles.
1. Aho, A.V., Ullman, J.D.: A characterization of two-way deterministic classes of languages. J. Comput. Syst. Sci. 4(6), 523–538 (1970)
2. Alur, R., D’Antoni, L., Raghothaman, M.: DReX: a declarative language for efficiently evaluating regular string transformations. In: Rajamani, S.K., Walker, D. (eds.) Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2015, pp. 125–137. ACM Press (2015)
3. Lecture Notes in Computer Science;R Alur,2011
4. Alur, R., Freilich, A., Raghothaman, M.: Regular combinators for string transformations. In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS 2014, Vienna, Austria, July 14–18, 2014, pp. 9:1–9:10 (2014)
5. Lecture Notes in Computer Science;N Baudru,2018
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SD-Regular Transducer Expressions for Aperiodic Transformations;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29