Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Towards efficient and verified virtual machines for dynamic languages
Collection editors:
Hritcu, Catalin; Popescu, Andrei
Title of conference publication:
CPP '21: 10th ACM SIGPLAN International Conference on Certified
Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021de
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
Place of publication:
New York, NY
Publisher:
Association for Computing Machinery
Year:
2021
Pages from - to:
61-75
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
BibTeX