Institutional Repository
| 运算构造和检验系统FC的设计和实现 | |
| 陈海明 | |
| 1998 | |
| Source | 软件学报
 |
| Volume | 9Issue:10Pages:755-759 |
| English Abstract | 运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义．详细介绍ＦＣ的功能、结构和实现技术，并讨论了下一步的改进方向． |
| Indexed Type | cscd |
| Keyword | 上下文无关语言 递归函数 结构归纳 函数计算 形式规约 |
| Department | 计算机科学国家重点实验室 |
| Language | 中文 |
| CSCD ID | CSCD:455383 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/2877 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 陈海明. 运算构造和检验系统FC的设计和实现[J]. 软件学报,1998,9(10):755-759. |
| APA | 陈海明.(1998).运算构造和检验系统FC的设计和实现.软件学报,9(10),755-759. |
| MLA | 陈海明."运算构造和检验系统FC的设计和实现".软件学报 9.10(1998):755-759. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment