运算构造和检验系统FC的设计和实现

摘要

cqvip:运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义．详细介绍ＦＣ的功能、结构和实现技术，并讨论了下一步的改进方向．