Title: | 运算构造和检验系统FC的设计和实现 |
Author: | 陈海明
|
Keyword: | 上下文无关语言
; 递归函数
; 结构归纳
; 函数计算
; 形式规约
|
Source: | 软件学报
|
Issued Date: | 1998
|
Volume: | 9, Issue:10, Pages:755-759 | Indexed Type: | cscd
|
Department: | 计算机科学国家重点实验室
|
Abstract: | 运算构造和检验系统FC(functionconstructor)是形式规约获取系统SAQ(specificationacquisition)的一个子系统.在SAQ系统中,运算用于表示规约的语义.FC提供了对运算的交互式归纳定义方式和运算的施用,支持运算的联立递归定义.详细介绍FC的功能、结构和实现技术,并讨论了下一步的改进方向. |
Language: | 中文
|
Citation statistics: |
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/2877
|
Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
There are no files associated with this item.
|
Recommended Citation: |
陈海明. 运算构造和检验系统FC的设计和实现[J]. 软件学报,1998-01-01,9(10):755-759.
|
|
|