运算构造和检验系统FC的设计和实现
文献类型：期刊论文
| 作者 | 陈海明 |
| 刊名 | 软件学报
 |
| 出版日期 | 1998 |
| 卷号 | 9期号:10页码:755-759 |
| 关键词 | 上下文无关语言 递归函数 结构归纳 函数计算 形式规约 |
| 中文摘要 | 运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义．详细介绍ＦＣ的功能、结构和实现技术，并讨论了下一步的改进方向． |
| 收录类别 | cscd |
| 语种 | 中文 |
| CSCD记录号 | CSCD:455383 |
| 公开日期 | 2010-07-23 |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。