Zobrazeno 1 - 3
of 3
pro vyhledávání: '"OCamllex"'
Publikováno v:
INRIA Saclay-Ile-de-France. 2022
A compiler consists of a sequence of phases going from lexical analysis to code generation. Ideally, the formal verification of a compiler should include the formal verification of each component of the tool-chain. An example is the CompCert project,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6dd544ebb52e27bc230fc7204fe3fa0
http://arxiv.org/abs/2306.12411
http://arxiv.org/abs/2306.12411
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ML 2021-ACM SIGPLAN Workshop on ML
ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States
ML 2021-ACM SIGPLAN Workshop on ML, Aug 2021, Online event, United States
International audience; A compiler consists of a sequence of phases going from lexical analysis to code generation. Ideally, the formal verification of a compiler should include the formal verification of every component of the tool-chain. In order t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0a879f1c890d65d90ee8033ff19ce1c3
https://hal.inria.fr/hal-03470713/file/Demo_Paper.pdf
https://hal.inria.fr/hal-03470713/file/Demo_Paper.pdf