形式化的程序综合方法及综合器NEAT

摘要

在人工智能领域里,程序综合方法是实现自动程序设计,构造正确程序的一条有效途径,但往往由于它所涉及的知识领域相当广泛,使得以往的程序综合系统多以大中型计算机为其支持。本文提出一种以形式分析为主的程序综合方法,它勿需庞大的知识库及其管理系统,从而能在微型计算机上实现。