Black-box equivalance checking across compiler transformations

No Thumbnail Available

Files

TH-5765.pdf (519.54 KB)

Date

2018

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Black-box equivalance checking- Building

Citation

URI

http://10.17.50.146:4000/handle/123456789/2494

Collections

Department of Computer Science and Engineering

Endorsement

Review

Supplemented By

Referenced By