Verified just-in-time compiler on x86
-
- Magnus O. Myreen
- University of Cambridge, Cambridge, United Kingdom
Journal
-
- Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
-
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages 107-118, 2010-01-17
ACM