1. DSpace at My University
  2. 2. Ph.D Theses of IIT Kharagpur
  3. Computer Science & Engineering

Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking Collection home page

Author : Kunal Banerjee
Guide : Dr. Chittaranjan Mandal and Dr. Dipankar Sarkar
Computer Science & Engineering Department
Indian Institute of Technology, Kharagpur
February, 2016

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
Issue DateTitleAuthor(s)
2016-02Translation Validation of Optimizing Transformations of Programs Using Equivalence CheckingBanerjee, Kunal
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1

Discover