Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking http://127.0.0.1/xmlui/handle/123456789/6200 Tue, 16 Jun 2026 21:19:27 GMT 2026-06-16T21:19:27Z Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking http://127.0.0.1/xmlui/handle/123456789/6201 Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking Banerjee, Kunal Mon, 01 Feb 2016 00:00:00 GMT http://127.0.0.1/xmlui/handle/123456789/6201 2016-02-01T00:00:00Z