Converted, Not Equivalent: Benchmarking Codebase Conversion via Observational Equivalence

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Song, Linxin, Chen, Jiefeng, Huang, Yue, Mishra, Bhavana Dalvi, Wang, Chi, Zhao, Jieyu, Yoon, Jinsung, Pfister, Tomas
Format: Preprint
Publié: 2026
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!