| 运算构造和检验系统FC的设计和实现 |
| 陈海明
|
| 1998
|
| 发表期刊 | 软件学报
 |
| 卷号 | 9期号:10页码:755-759 |
| 摘要 | 运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义．详细介绍ＦＣ的功能、结构和实现技术，并讨论了下一步的改进方向． |
| 收录类别 | cscd
|
| 关键词 | 上下文无关语言
递归函数
结构归纳
函数计算
形式规约
|
| 部门归属 | 计算机科学国家重点实验室
|
| 语种 | 中文
|
| CSCD记录号 | CSCD:455383
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/2877
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
陈海明. 运算构造和检验系统FC的设计和实现[J]. 软件学报,1998,9(10):755-759.
|
| APA |
陈海明.(1998).运算构造和检验系统FC的设计和实现.软件学报,9(10),755-759.
|
| MLA |
陈海明."运算构造和检验系统FC的设计和实现".软件学报 9.10(1998):755-759.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论