Verified construction of static single assignment form

Published in Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016, 2016

Access paper here

Recommended citation: Sebastian Buchwald, Denis Lohner, Sebastian Ullrich, "Verified construction of static single assignment form." Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016, 2016.
Download Paper