Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking

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