1 paper
Zhang Cheng, Jiyang Wu, Di Wang +1
A desired but challenging property of compiler verification is compositionality, in the sense that the compilation correctness of a program can be deduced incrementally from that o…