Academic Journal
Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications
| Title: | Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications |
|---|---|
| Authors: | Barrière, Aurèle, Deng, Victor, Pit-Claudel, Clément |
| Source: | Proceedings of the ACM on Programming Languages. 10(POPL):1964-1993 |
| Availability: | http://dl.acm.org/doi/10.1145/3776710 |
| Database: | ACM Full-Text Collection |
| ISSN: | 24751421 |
|---|---|
| DOI: | 10.1145/3776710 |