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

中国科学院软件研究所机构知识库


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In

题名:	运算构造和检验系统FC的设计和实现
作者:	陈海明
关键词:	上下文无关语言 ; 递归函数 ; 结构归纳 ; 函数计算 ; 形式规约
刊名:	软件学报
发表日期:	1998
卷:	9, 期:10, 页:755-759
收录类别:	cscd
部门归属:	计算机科学国家重点实验室
摘要:	运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义．详细介绍ＦＣ的功能、结构和实现技术，并讨论了下一步的改进方向．
语种:	中文
Citation statistics:
内容类型:	期刊论文
URI标识:	http://ir.iscas.ac.cn/handle/311060/2877
Appears in Collections:	计算机科学国家重点实验室 _期刊论文

Files in This Item:

There are no files associated with this item.

Recommended Citation:

陈海明. 运算构造和检验系统FC的设计和实现[J]. 软件学报,1998-01-01,9(10):755-759.

Service
	Recommend this item
	Sava as my favorate item
	Show this item's statistics
	Export Endnote File
Google Scholar
	Similar articles in Google Scholar
	[陈海明]'s Articles
CSDL cross search
	Similar articles in CSDL Cross Search
	[陈海明]‘s Articles
Related Copyright Policies
Null
Social Bookmarking

所有评论 (0)

暂无评论

评注功能仅针对注册用户开放，请您登录

您对该条目有什么异议，请填写以下表单，管理员会尽快联系您。
内容：
Email：	*
单位：
验证码：	刷新

您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标题：	*
内容：
Email：	*
验证码：	刷新


	Copyright © 2007-2017 中国科学院软件研究所 - Feedback Powered by CSpace