Sebastian Buchwald, Denis Lohner, Sebastian Ullrich. Verified construction of static single assignment form. In Ayal Zaks, Manuel V. Hermenegildo, editors, Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016. pages 67-76, ACM, 2016. [doi]
Abstract is missing.