%0 Journal Article
%T Design and Implementation of the Function Construction and Checking System FC<br>运算构造和检验系统FC的设计和实现
%A CHEN Hai-ming
%A <br>陈海明
%J 软件学报
%D 1998
%I 
%X The function construction and checking system FC (function constructor) is a component of SAQ (specification acquisition) which utilizes CFRFs (recursive functions defined on context-free languages) to represent the semantics of a specification. FC provides the interactive and inductive definition, and the evaluation of CFRF, supporting mutually recursive definition process of CFRFs. In this paper, the functions, structure and implementation details of FC are described, the possible improvement is discussed.
%K Context-free language
%K recursive function
%K structural induction
%K function evaluation
%K formal specification<br>上下文无关语言
%K 递归函数
%K 结构归纳
%K 函数计算
%K 形式规约.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=5CC3A7A1C16815A1&yid=8CAA3A429E3EA654&vid=9CF7A0430CBB2DFD&iid=F3090AE9B60B7ED1&sid=B37ED91D1227CC95&eid=61000B595C9AE527&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=11