Yin, J., Song, Z., Agostini, N. B., Tumeo, A., & Yu, C. (2025). HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation.
Style de citation Chicago (17e éd.)Yin, Jiaqi, Zhan Song, Nicolas Bohm Agostini, Antonino Tumeo, et Cunxi Yu. HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation. 2025.
Style de citation MLA (9e éd.)Yin, Jiaqi, et al. HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.