Terms for subject Programming containing compilation process

English	Russian
benefits of intermediate languages in the compilation process	преимущества использования промежуточных языков в процессе компиляции (ssn)
compilation process	процесс компиляции (ssn)
compilation/proof processes	процесс компиляции с доказыванием формальной корректности кода (Alex_Odeychuk)
during the compilation process	во время компиляции (Alex_Odeychuk)