形式规范与程序生成

形式规范和程序生成是自动程序设计的两个关键问题,通过形式规范的引导可以正确地生成程序。本文首先讨论与形式规范相关的三个问题:形式规范方法,形式规范生成和形式规范正确性;然后讨论从形式规范生成目标程序的技术以及程序正确性问题。