SamaTulyataOne
Soumyadip Bandyopadhyay, Dipankar Sarkar, Chittaranjan Mandal · 2019
Source to source semantic preserving transformations have been carried out by compiler or several human guided transformations. If the semantics preserving transformations carried out wrongly it gives the software bug. So it is very important to establish equivalence between the original and the counter part. This paper presents a translation validation tool for verifying optimizing and parallelizing code transformations by checking equivalence between two PRES+ models; one corresponds the source program and other corresponds its counterpart.