Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking http://127.0.0.1/xmlui/handle/123456789/6200 Wed, 27 May 2026 03:14:52 GMT 2026-05-27T03:14:52Z 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