Validation of Optimizing and Parallelizing Transformations using Dependence Graph Abstraction

dc.contributor.author	Dutta, Sudakshina
dc.date.accessioned	2021-11-03T14:26:05Z
dc.date.available	2021-11-03T14:26:05Z
dc.date.issued	2018-07
dc.identifier.govdoc	NB16102
dc.identifier.uri	http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/10084
dc.language.iso	en_US	en_US
dc.publisher	IIT Kharagpur	en_US
dc.subject	Verification	en_US
dc.subject	Dependence graph	en_US
dc.subject	Conict access graph	en_US
dc.subject	Equivalence tree	en_US
dc.subject	Equivalence checking	en_US
dc.title	Validation of Optimizing and Parallelizing Transformations using Dependence Graph Abstraction	en_US
dc.type	Thesis	en_US