%0 Journal Article
%T 运算构造和检验系统fc的设计和实现
%A 陈海明？
%J 软件学报
%P 755-759
%D 1998
%X 运算构造和检验系统fc(functionconstructor)是形式规约获取系统saq(specificationacquisition)的一个子系统.在saq系统中,运算用于表示规约的语义.fc提供了对运算的交互式归纳定义方式和运算的施用,支持运算的联立递归定义.详细介绍fc的功能、结构和实现技术,并讨论了下一步的改进方向.
%K 上下文无关语言
%K 递归函数
%K 结构归纳
%K 函数计算
%K 形式规约.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19981006&flag=1