Ladda ner Linnk AI
•
Forskningsassistent
>
Logga in
insikt
-
JavaScript 정규 표현식
JavaScript 정규 표현식 의미론의 Coq 기계화
우리는 실행 가능하고, 안전하며, 충실하고, 미래 지향적인 Coq 기계화를 제시한다. 이를 통해 JavaScript 정규 표현식 매칭의 의미론을 정형화하고 검증할 수 있다.
1