| Title: | 运算构造和检验系统FC的设计和实现 |
| Author: | 陈海明
|
| Keyword: | 上下文无关语言
; 递归函数
; 结构归纳
; 函数计算
; 形式规约
|
| Source: | 软件学报
|
| Issued Date: | 1998
|
| Volume: | 9, Issue:10, Pages:755-759 | | Indexed Type: | cscd
|
| Department: | 计算机科学国家重点实验室
|
| Abstract: | 运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义．详细介绍ＦＣ的功能、结构和实现技术，并讨论了下一步的改进方向． |
| 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.
|
|
|
