A verifiable SSA program representation for aggressive compiler optimization
From MaRDI portal
Publication:5348941
DOI10.1145/1111037.1111072zbMath1369.68080OpenAlexW2135488322MaRDI QIDQ5348941
Brian R. Murphy, Neal Glew, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Andrew McCreight, Vijay Menon, Leaf Petersen
Publication date: 21 August 2017
Published in: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1111037.1111072
type systemsintermediate representationscheck eliminationproof variablessafety dependencesSSA formalizationtypeability preservationtyped intermediate languages
This page was built for publication: A verifiable SSA program representation for aggressive compiler optimization