A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Karkour (2022), Py*: Formalization of Python's Verifiable Bytecode and Virtual Machine in F*
[article]
2022
Proceedings of the ESSLLI 2022 Student Session Py*: Formalization of Python's Verifiable Bytecode and Virtual Machine in F* Ammar Karkour In order to avoid implementation bugs and inconsistencies of defining programming languages, computer scientists define formal semantics rules that guide the implementation process. In the case of Python, it lacks a formal implementation as it doesn't have formal semantics that describe the behavior of its complex functionalities. Previous attempts to provide
doi:10.21942/uva.20368209
fatcat:7fcuyc5ucrab5bbas234ckalwu