Lean Formalization of Extended Regular Expression Matching with Lookarounds - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner. Lean Formalization of Extended Regular Expression Matching with Lookarounds. In Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024. pages 118-131, ACM, 2024. [doi]

This author has not been identified. Look up 'Ekaterina Zhuchko' in GoogleThis author has not been identified. Look up 'Margus Veanes' in GoogleThis author has not been identified. Look up 'Gabriel Ebner' in Google

runs on WebDSL