Terms for subject Programming containing program transformations

English	Russian
detailed account of program transformation systems	детальное рассмотрение систем преобразования программ (ssn)
examples of transformations on programs	примеры преобразований программ (ssn)
logic-based program synthesis and transformation	проектирование и перепроектирование логических программ (Alex_Odeychuk)
note on program transformation	замечание о преобразовании программ (ssn)
program transformation systems	системы преобразования программ (ssn)
program transformations	преобразования программ (ssn)
program-to-model transformation	преобразование программы в модель (do a program-to-model transformation – выполнять преобразование программы в модель Alex_Odeychuk)
related kinds of program transformations	другие аналогичные преобразования программ (ssn)
transformations on programs	преобразования программ (ssn)
we examine this and related kinds of program transformations in Chapter 12	это и другие аналогичные преобразования программ рассматриваются в главе 12 (см. Foundations of Multithreaded, Parallel, and Distributed Programming 2000 by Gregory R. Andrews ssn)