1 paper · 1 filter
Kaiyao Ke, Ali Reza Ibrahimzada, Rangeet Pan +2
Despite advances in repository-level code translation, automated type resolution across differing type systems and translation validation (functional-equivalence checking) remain c…