自动程序设计

出处：按学科分类—自然科学总论 天津人民出版社《自然辩证法辞典》第333页（691字）

指在更高级的软件环境下进行的程序设计。

为减轻程序设计艰巨而复杂的劳动，使程序设计过程部分地自动化，最后达到完全自动化，让计算机本身编制程序，人们只需给出要解决问题的陈述，而不必提出精确的算法，就产生了这样自动程序设计。在使用电子计算机的早期，自动程序设计系指使用高级语言编写程序(例如FORTRAN)和让编译程序把它转换为机器代码。当时，“真正”的程序设计是指用机器语言或汇编语言写程序。因此人们创造出了编译语言、高级程序设计语言和用于特殊方面的专用语言。

现在绝大多数的程序设计是使用高级语言。因此自动程序设计达到完善程度。

现代，自动程序设计又有了新的方法：程序综合。从例子中综合、从形式的输入输出说明中综合、通过翻译自然语言进行综合和从知识库进行启发式综合。

自动程序设计系统一般有4个特点：(1)说明方法，其中有形式说明、例子说明和自然语言；(2)目标语言，这是自动程序设计系统最后输出程序所用的语言，例如LISP、PL／1等；(3)问题域，就是系统要应用的领域；(4)操作方法，即产生程序所使用的方法，其中有定理证明、程序形式化、知识工程、自动数据选择、传统问题求解和归纳法等等方法。

现在随着计算机的普及，软件变得越来越复杂。因此自动程序设计也越来越受到重视。为了减轻程序设计的工作，自动程序设计的一个近期目标是改变程序员说明程序的方法。

这种改变允许程序员用更高、更自然的方式思考问题。通过改变程序设计环境，自动程序设计使程序员更容易和精确地设计出现在的程序和将来更复杂的程序。