Pragma-Controlled Source-to-Source Code Transformations for Robust Application Execution. | AMiner