The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Elton M. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, Leonardo Vieira dos Santos Reis, André Rauber Du Bois, Rodrigo Geraldo Ribeiro. The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions. CLEI Electron. J., 24(3), 2021. [doi]

This author has not been identified. Look up 'Elton M. Cardoso' in GoogleThis author has not been identified. Look up 'Maycon Amaro' in GoogleThis author has not been identified. Look up 'Samuel da Silva Feitosa' in GoogleThis author has not been identified. Look up 'Leonardo Vieira dos Santos Reis' in GoogleThis author has not been identified. Look up 'André Rauber Du Bois' in GoogleThis author has not been identified. Look up 'Rodrigo Geraldo Ribeiro' in Google

runs on WebDSL