%0 Journal Article
%T 形式规范与程序生成
%A 庄庆雨
%A 周力研
%J 计算机科学
%D 1989
%I 
%X 形式规范和程序生成是自动程序设计的两个关键问题,通过形式规范的引导可以正确地生成程序。本文首先讨论与形式规范相关的三个问题:形式规范方法,形式规范生成和形式规范正确性;然后讨论从形式规范生成目标程序的技术以及程序正确性问题。
%K 形式规范
%K 程序生成
%K 自动程序设计
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E949263BA21C9A6BC8BC2335DD4E0C8D&yid=1833A6AA51F779C1&vid=7801E6FC5AE9020C&iid=94C357A881DFC066&sid=94E7F66E6C42FA23&eid=286FB2D22CF8D013&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0