A Technique for Demonstrating Safety and Correctness of Program Translators: Strategy and Case Study.

Junbeom Yoo, Jong-Gyun Choi, Young-Jun Lee, Jang-Soo Lee

Browse the full ISSRE paper archive.