用高级程序设计语言编写的程序( )。