Verbatim++: verified, optimized, and semantically rich lexing with derivatives-Reference-Cited by-同舟云学术

Verbatim++: verified, optimized, and semantically rich lexing with derivatives

Published:2022-01-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
language:
Short-container-title:

Author:

Egolf Derek¹,Lasser Sam²,Fisher Kathleen²

Affiliation:

1. Northeastern University, USA

2. Tufts University, USA

Publisher

ACM

Link

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

Reference32 articles.

1. Fahad Ausaf , Roy Dyckhoff , and Christian Urban . 2016. POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl) . In Interactive Theorem Proving . Springer International Publishing , Cham . 69–86. isbn:97833 1943 1437 issn:0302-9743 Fahad Ausaf, Roy Dyckhoff, and Christian Urban. 2016. POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl). In Interactive Theorem Proving. Springer International Publishing, Cham. 69–86. isbn:9783319431437 issn:0302-9743

2. Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

3. Derivatives of Regular Expressions

4. R. G. G. Cattell. 1978. Formalization and Automatic Derivation of Code Generators. R. G. G. Cattell. 1978. Formalization and Automatic Derivation of Code Generators.

5. A Decision Procedure for Regular Expression Equivalence in Type Theory

Cited by 5 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. Efficient Matching of Regular Expressions with Lookaround Assertions;Proceedings of the ACM on Programming Languages;2024-01-05

3. POSIX Lexing with Derivatives of Regular Expressions;Journal of Automated Reasoning;2023-07-08

4. Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation;Lecture Notes in Computer Science;2023

5. Certified Parsing of Dependent Regular Grammars;2022 IEEE Security and Privacy Workshops (SPW);2022-05