A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars-Reference-Cited by-同舟云学术

A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars

Published:2022-10-06 Issue: Volume: Page:
ISSN:
Container-title:XXVI Brazilian Symposium on Programming Languages
language:
Short-container-title:

Author:

Cardoso Elton Maximo¹,Pereira Daniel Freitas²,De Paula Regina Sarah Monferrari Amorim²,Reis Leonardo Vieira Dos Santos²,Ribeiro Rodrigo Geraldo¹

Affiliation:

1. Universidade Federal de Ouro Preto, Brazil

2. Universidade Federal de Juiz de Fora, Brazil

Funder

FAPEMIG

Publisher

ACM

Reference32 articles.

1. Engineering Formal Metatheory;Aydemir Brian;SIGPLAN Not.,2008

2. Nick Benton. 2006. Machine Obstructed Proof (Abstract). https://www.microsoft.com/en-us/research/publication/machine-obstructed-proof-abstract/ Nick Benton. 2006. Machine Obstructed Proof (Abstract). https://www.microsoft.com/en-us/research/publication/machine-obstructed-proof-abstract/

3. Clement Blaudeau and Natarajan Shankar . 2020 . A Verified Packrat Parser Interpreter for Parsing Expression Grammars . In Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ( New Orleans, LA, USA) (CPP 2020). Association for Computing Machinery, New York, NY, USA, 15 pages. https://doi.org/ 10 .1145/3372885.3373836 Clement Blaudeau and Natarajan Shankar. 2020. A Verified Packrat Parser Interpreter for Parsing Expression Grammars. In Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (New Orleans, LA, USA) (CPP 2020). Association for Computing Machinery, New York, NY, USA, 15 pages. https://doi.org/10.1145/3372885.3373836

4. Derivatives of Regular Expressions

5. Adam Chlipala . 2013. Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant . The MIT Press . Adam Chlipala. 2013. Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant. The MIT Press.