Author:
Fischer Sebastian,Huch Frank,Wilke Thomas
Cited by
18 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. Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics;Proceedings of the ACM on Programming Languages;2023-06-06
3. Regex matching with counting-set automata;Proceedings of the ACM on Programming Languages;2020-11-13
4. Regenerate: a language generator for extended regular expressions;ACM SIGPLAN Notices;2020-04-07
5. Typed parsing and unparsing for untyped regular expression engines;Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019;2019