Verified just-in-time compiler on x86
Magnus O. Myreen[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL '10
Madrid, Spain
Association for Computing Machinery
New York, NY, USA
Pages 107-118
2010
Note(s): ISA specification, compiler verification, x86 architecture
POPL '10
Madrid, Spain
Association for Computing Machinery
New York, NY, USA
Pages 107-118
2010
Note(s): ISA specification, compiler verification, x86 architecture