A minimalistic verified bootstrapped compiler (proof pearl)
Paper in proceeding, 2021
Interactive theorem proving
Compiler bootstrapping
Compiler verification
Author
Magnus Myreen
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021
32-45
9781450382991 (ISBN)
Virtual, Online, Denmark,
Subject Categories
Media and Communication Technology
Other Engineering and Technologies not elsewhere specified
Interaction Technologies
DOI
10.1145/3437992.3439915