期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

安全的数据类型规格说明

Safety of Data Type Specifications

下载PDF

导出

摘要讨论了当前数据类型规格说明的安全性，引入了比Ｊ．Ｖ．Ｇｕｔａｇ教授的充分完备性更强的安全性这一概念，给出了几个典型的数据类型安全规格说明。

作者汤英

机构地区武汉工业大学

出处《交通与计算机》 1997年第2期65-67,共3页 Computer and Communications

关键词数据类型规格说明完备性安全性程序设计

分类号 TP311 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献1

1刘定飞,夏红霞,钟珞.抽象数据类型条件方程的求取[J].小型微型计算机系统,1994,15(4):17-23. 被引量：4

二级参考文献3

1钟珞,吴锡琪,盛苏华.抽象数据类型形式变换系统[J].小型微型计算机系统,1993,14(7):37-45. 被引量：4
2钟珞.基于抽象数据类型的程序设计语言的设计[J].计算机应用研究,1991,8(1):2-5. 被引量：4
3赵愚,钟珞.背景关联世界中抽象数据类型的关联性[J].四川建材学院学报,1992,7(1):76-82. 被引量：2

共引文献3

1夏红霞,钟珞.SADM及其应用[J].计算机与数字工程,1995,23(3):88-93.
2孙运英,夏红霞,赵愚,刘定飞.栈的一种算法理论[J].武汉工业大学学报,1995,17(1):89-92. 被引量：1
3刘定飞,夏红霞,赵愚,卢月.支持活动图的程序设计工具的实现[J].武汉工业大学学报,1995,17(3):70-74.

1王筱瑾,陶先平,柳杨,吕建.协变多态计算中类型安全问题的研究[J].计算机科学,1999,26(3):15-18. 被引量：1
2投稿者须知[J].上海经济研究,2013,25(5).
3投稿者须知[J].上海经济研究,2014,26(1).
4投稿者须知[J].上海经济研究,2012,24(7).
5投稿者须知[J].上海经济研究,2012,24(9).
6投稿者须知[J].上海经济研究,2012,24(12).
7投稿者须知[J].上海经济研究,2013,25(3).
8投稿者须知[J].上海经济研究,2014,26(3).
9投稿者须知[J].上海经济研究,2012,24(5).
10投稿者须知[J].上海经济研究,2012,24(2).

交通与计算机

1997年第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部