Login
Document type:
Vortrag / Presentation
Title:
Towards efficient and verified virtual machines for dynamic languages
Conference title:
ACM SIGPLAN International Conference on Certified Programs and Proofs (10., 2021, Virtuell)
Venue:
Virtuell
Year of conference:
2021
Date of conference beginning:
17.01.2021
Date of conference ending:
19.01.2021
Year:
2021
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 6 - Institut für Systemsicherheit
Chair:
Brunthaler, Stefan
Research Hub UniBw M:
CODE
Open Access yes or no?:
Nein / No
Presentation at:
CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021
BibTeX