IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking
→
Browsing Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking by Subject

Browsing Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking by Subject "Arithmetic Transformation"

Now showing items 1-1 of 1

Translation Validation of Optimizing Transformations of Programs Using Equivalence Checking

Banerjee, Kunal (IIT, Kharagpur, 2016-02)

Now showing items 1-1 of 1

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Login