Type-based Termination Analysis for Parsing Expression Grammars-Reference-Cited by-同舟云学术

Type-based Termination Analysis for Parsing Expression Grammars

Published:2023-03-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

M. Cardoso Elton¹^ORCID,De Paula Regina²^ORCID,Pereira Daniel²^ORCID,Reis Leonardo³^ORCID,Ribeiro Rodrigo Geraldo⁴^ORCID

Affiliation:

1. Departamento de Computação e Sistemas, Universidade Federal de Ouro Preto, João Monlevade, Minas Gerais, Brazil

2. Federal University of Juiz de Fora, Juiz de Fora, Minas Gerais, Brazil

3. Departamento de Ciência da Computação, Universidade Federal of Juiz de Fora, Juiz de Fora, Minas Gerais, Brazil

4. Departamento de Computação, Federal University of Ouro Preto, Ouro Preto, Minas Gerais, Brazil

Funder

FAPEMIG

Publisher

ACM

Link

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

Reference31 articles.

1. Michael D. Adams . 2013 . Principled parsing for indentation-sensitive languages: revisiting landin's offside rule . In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages ( Rome, Italy) (POPL '13). ACM, New York, NY, USA, 511--522. 10.1145/2429069.2429129 Michael D. Adams. 2013. Principled parsing for indentation-sensitive languages: revisiting landin's offside rule. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Rome, Italy) (POPL '13). ACM, New York, NY, USA, 511--522. 10.1145/2429069.2429129

2. Clark Barrett , Aaron Stump , and Cesare Tinelli . 2010 . The SMT-LIB Standard: Version 2.0 . In Proceedings of the 8th International Workshop on Satisfiability Modulo Theories ( Edinburgh, UK), A. Gupta and D. Kroening (Eds.). Clark Barrett, Aaron Stump, and Cesare Tinelli. 2010. The SMT-LIB Standard: Version 2.0. In Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, UK), A. Gupta and D. Kroening (Eds.).

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

4. 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, 3--17. 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, 3--17. 10.1145/3372885.3373836

5. Derivatives of Regular Expressions