%0 Journal Article
%T 代数语言规约的ML原型翻译系统
%A 蔡家楣
%J 计算机科学
%D 1998
%I 
%X 形式化的规约说明对于提高软件开发的正确性和效率有很大作用,一个形式化的规约说明语言开发环境如图1所示。目前有的原型系统是用常规高级语言,即一般的过程语言来写的,如C。这种原型环境涉及大量低层细节.程序繁琐冗长,且和计算机状态相联系,破坏了原有规约的证明特性。
%K 软件开发
%K 代数语言规约
%K ML语言
%K 原型翻译系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=CBC713FA3508C8FB20B5C5A1428E5B78&yid=8CAA3A429E3EA654&vid=C5154311167311FE&iid=E158A972A605785F&sid=F3583C8E78166B9E&eid=BCA2697F357F2001&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0