![](/img/cover-not-exists.png)
[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - A complete formal semantics of x86-64 user-level instruction set architecture
Dasgupta, Sandeep, Park, Daejun, Kasampalis, Theodoros, Adve, Vikram S., Roşu, GrigoreYear:
2019
DOI:
10.1145/3314221.3314601
File:
PDF, 388 KB
2019