CoStar: a verified ALL(*) parser-Reference-Cited by-同舟云学术

CoStar: a verified ALL(*) parser

Published:2021-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Lasser Sam¹,Casinghino Chris²,Fisher Kathleen¹,Roux Cody²

Affiliation:

1. Tufts University, USA

2. Draper, USA

Publisher

ACM

Link

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

Reference36 articles.

1. On the complexity and performance of parsing with derivatives

2. Verified, Executable Parsing

3. A verified packrat parser interpreter for parsing expression grammars

4. Robust Locally Weighted Regression and Smoothing Scatterplots

5. The Coq Development Team. 2020. The Coq Proof Assistant version 8.11.0. https://doi.org/10.5281/zenodo.3744225 10.5281/zenodo.3744225 The Coq Development Team. 2020. The Coq Proof Assistant version 8.11.0. https://doi.org/10.5281/zenodo.3744225 10.5281/zenodo.3744225

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Derivative-based Parser Generator for Visibly Pushdown Grammars;ACM Transactions on Programming Languages and Systems;2023-05-15

2. Type-based Termination Analysis for Parsing Expression Grammars;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27

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

4. Hardening attack surfaces with formally proven binary format parsers;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

5. A Secure Parser Generation Framework for IoT Protocols on Microcontrollers;2022 IEEE Security and Privacy Workshops (SPW);2022-05