A minimalistic verified bootstrapped compiler (proof pearl)
Paper i proceeding, 2021
Interactive theorem proving
Compiler bootstrapping
Compiler verification
Författare
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
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,
Ämneskategorier
Medieteknik
Övrig annan teknik
Interaktionsteknik
DOI
10.1145/3437992.3439915