运算构造和检验系统FC的设计和实现
| Data(s) |
1998
|
|---|---|
| Resumo |
运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义．详细介绍ＦＣ的功能、结构和实现技术，并讨论了下一步的改进方向． |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
陈海明.运算构造和检验系统FC的设计和实现,软件学报,1998,9(10):755-759 |
| Palavras-Chave | #上下文无关语言 #递归函数 #结构归纳 #函数计算 #形式规约 |
| Tipo |
期刊论文 |
