Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications
Συγγραφείς:	Barrière, Aurèle, Deng, Victor, Pit-Claudel, Clément
Πηγή:	Proceedings of the ACM on Programming Languages. 10(POPL):1964-1993
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3776710
Βάση Δεδομένων:	ACM Full-Text Collection

Περιγραφή
ISSN:	24751421
DOI:	10.1145/3776710