Validated Code Translation for Projects with External Libraries

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Hanliang, Sharma, Arindam, David, Cristina, Wang, Meng, Paulsen, Brandon, Kroening, Daniel, Ye, Wenjia, Sekiyama, Taro
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2602.18534