This paper gives a brief overview of the V-Ray technology, based on the rigorous mathematical theory of analysis and transformation of programs, and intended for optimization of programs to parallel computers. This technology provides a basis for resolving the whole scope of problems related to mapping of applications onto parallel computers, starting from the commonly adopted control-flow and data-flow analysis up to the optimization of data distribution and data locality. High efficiency of the V-Ray technology is illustrated by successful optimization of the TRFD Perfect Benchmark to vector/parallel CRAY Y-MP M90/C90 as well as to massively parallel CRAY T3D supercomputers.