Please use this identifier to cite or link to this item: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/6201
Title: Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking
Authors: Banerjee, Kunal
Keywords: Loop Transformation
Arithmetic Transformation
Recurrence
Finite State Machine with Datapath (FSMD)
Array Data Dependence Graph (ADDG)
Issue Date: Feb-2016
Publisher: IIT, Kharagpur
Gov't Doc #: NB15414
URI: http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/6201
Appears in Collections:Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking

Files in This Item:
File Description SizeFormat 
NB15414_Thesis.pdf
  Restricted Access
835.45 kBAdobe PDFView/Open Request a copy
NB15414_Abstract.pdf45.45 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.