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 |