编译程序与操作系统和计算机硬件有关，为了提高编译程序的可移植性，人们提出了（）的理论。