Towards efficient and verified virtual machines for dynamic languages
Crossref DOI link: https://doi.org/10.1145/3437992.3439923
Published Online: 2021-01-20
Published Print: 2021-01-17
Update policy: https://doi.org/10.1145/crossmark-policy
Desharnais, Martin
Brunthaler, Stefan
Funding for this research was provided by:
European Union?s Horizon 2020 research and innovation program (830927)
Version of Record valid from 2021-01-17
Publication History
Published: 2021-01-20
