基于模拟关系的编译优化实现正确性验证方法
기우모의관계적편역우화실현정학성험증방법
Verifying Implementation Correctness of Compiling Optimization Based on Simulation Relation
저자의 최근 논문