Black-box equivalance checking across compiler transformations

Simple item page
dc.contributor.advisorBansal, Sorav
dc.contributor.authorDahiya, Manjeet
dc.date.accessioned2018-12-15
dc.date.accessioned2024-10-29T10:56:46Z
dc.date.issued2018
dc.identifier.urihttp://10.17.50.146:4000/handle/123456789/2494
dc.relation.ispartofseriesTH5765
dc.subjectBlack-box equivalance checking- Building
dc.titleBlack-box equivalance checking across compiler transformations
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
TH-5765.pdf
Size:
519.54 KB
Format:
Adobe Portable Document Format
Download

Collections

Department of Computer Science and Engineering