External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Verified Operational Semantics for Regular Expression Parsing

Elton Maximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro. A Verified Operational Semantics for Regular Expression Parsing. In Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023. pages 82-90, ACM, 2023. [doi]

Authors

Elton Maximo Cardoso

This author has not been identified. Look up 'Elton Maximo Cardoso' in Google

Leonardo Vieira dos Santos Reis

This author has not been identified. Look up 'Leonardo Vieira dos Santos Reis' in Google

Rodrigo Geraldo Ribeiro

This author has not been identified. Look up 'Rodrigo Geraldo Ribeiro' in Google
runs on