用高级语言编写的程序为________。