Formal Verification Of Optimizing Compilers
DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY (ICDCIT 2018)（2018）
摘要
Formally verifying that a compiler, especially an optimizing one, maintains the semantics of its input has been a challenging problem. This paper surveys several of the main efforts in the area and describes recent efforts that target the LLVM compiler infrastructure while taking a novel viewpoint on the problem.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要