Media type: E-Article Title: Distributed Computing and Internet Technology: Formal Verification of Optimizing Compilers Contributor: Zhang, Yiji; Zuck, Lenore D. Published: Springer International Publishing, 2018 Published in: Distributed Computing and Internet Technology (2018), Seite 50-65 Language: Not determined DOI: 10.1007/978-3-319-72344-0_3 ISSN: 0302-9743; 1611-3349 Origination: Footnote: