Author:
Fischer Sebastian,Huch Frank,Wilke Thomas
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lean Formalization of Extended Regular Expression Matching with Lookarounds;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. A Logical Treatment of Finite Automata;Lecture Notes in Computer Science;2024
3. Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics;Proceedings of the ACM on Programming Languages;2023-06-06
4. Regex matching with counting-set automata;Proceedings of the ACM on Programming Languages;2020-11-13
5. Regenerate: a language generator for extended regular expressions;ACM SIGPLAN Notices;2020-04-07