Transformation of functional specifications of finite difference methods to parallel distributed codes.