An XML-Based Platform for Semantic Transformation of Numerical Programs