用高级程序设计语言编写的程序，要转换成等价的可执行程序，必须经过___________。