IDR - IIT Kharagpur

Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking

Show simple item record

dc.contributor.author Banerjee, Kunal
dc.date.accessioned 2016-03-07T07:28:07Z
dc.date.available 2016-03-07T07:28:07Z
dc.date.issued 2016-02
dc.identifier.govdoc NB15414
dc.identifier.uri http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/6201
dc.language.iso en en
dc.publisher IIT, Kharagpur en
dc.subject Loop Transformation en
dc.subject Arithmetic Transformation en
dc.subject Recurrence en
dc.subject Finite State Machine with Datapath (FSMD) en
dc.subject Array Data Dependence Graph (ADDG) en
dc.title Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking en
dc.type Thesis en


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account