Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking http://127.0.0.1/xmlui/handle/123456789/6200 2026-04-17T18:05:40Z 2026-04-17T18:05:40Z Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking Banerjee, Kunal http://127.0.0.1/xmlui/handle/123456789/6201 2016-03-07T07:28:07Z 2016-02-01T00:00:00Z Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking Banerjee, Kunal 2016-02-01T00:00:00Z