Abstract: Translation validation is the process of proving that the target code is a correct translation of the source program being compiled. In this paper, we propose a translation validation method ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results