Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Aurèle Barrière
Follow
Activity
Upvotes
Folders
Articles
1
A Coq Mechanization of JavaScript Regular Expression Semantics
26 July 2024 by
Niccolò Dal Santo
and
others
Programming Languages
Linear Matching of JavaScript Regular Expressions
23 July 2024 by
Aurèle Barrière
and
Clément Pit-Claudel
at
EPFL - EPF Lausanne
Programming Languages
,
Formal Languages and Automata Theory
This is an AI-generated summary
Key points
Topics
We have not analyzed this profile yet, please check back later
