Raimund Kirner. SCCP/x: a compilation profile to support testing and verification of optimized code. In Taewhan Kim, Pascal Sainrat, Steven S. Lumetta, Nacho Navarro, editors, Proceedings of the 2007 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2007, Salzburg, Austria, September 30 - October 3, 2007. pages 38-42, ACM, 2007. [doi]
Abstract is missing.