期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
Java语言的类和多态性的公理语义
被引量:
1
下载PDF
职称材料
导出
摘要
Java语言是计算机语言程序中的一种,本文对Java语言的类别进行介绍,并对其多态性的公理语义进行分析和探究,从而给Java语言的相关编译人员的工作提供一定的借鉴。
作者
唐月
机构地区
渤海大学信息科学与技术学院
出处
《信息技术与信息化》
2015年第12期97-99,共3页
Information Technology and Informatization
关键词
JAVA语言
类和多态性
公理语义
分类号
TP312.2 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
7
引证文献
1
二级引证文献
0
同被引文献
7
1
唐俊武,南理勇,左强.
在线考试系统开发中的几个问题及解决方法[J]
.计算机与数字工程,2005,33(8):144-147.
被引量:49
2
王彩芬.
用HOARE逻辑证明C^(++)程序的正确性[J]
.兰州大学学报(自然科学版),2000,36(1):44-47.
被引量:1
3
余云,杨阳.
基于JAVA的数据结构在线考试系统的设计[J]
.开封教育学院学报,2016,36(7):273-274.
被引量:3
4
成军,袁利永.
基于C/S在线自动评判系统的设计与实现[J]
.实验室研究与探索,2017,36(10):140-144.
被引量:3
5
周力,姚茂群,刘淑婷,李怡雯.
物联网时代下在线教学平台的研究与展望[J]
.计算机教育,2018(6):116-119.
被引量:3
6
陈荟慧,熊杨帆,蒋滔滔,李佳.
基于在线测评系统的编程题目难度研究[J]
.现代计算机,2018,24(9):26-30.
被引量:6
7
邵婷婷,王璐.
基于JAVA的在线考试系统设计[J]
.电子测试,2014,25(8X):1-2.
被引量:6
引证文献
1
1
潘齐心,高若铭,彭梅芳,张凯磊.
Java在线实验系统的设计与开发[J]
.福建电脑,2019,35(5):86-87.
1
吴喜洋.
探讨Java语言的应用[J]
.计算机光盘软件与应用,2011(23):208-208.
2
林洪,王敏.
Gamma的语义研究[J]
.计算机工程与科学,1996,18(4):7-15.
3
李沁,曾庆凯,袁志祥.
一种面向非干扰的线程程序逻辑[J]
.软件学报,2014,25(6):1143-1153.
被引量:1
4
魏振春,韩江洪,陆阳,刘小平.
一种基于规则的语言的公理语义[J]
.计算机工程与应用,2008,44(20):86-88.
被引量:2
5
林洪,陈国良.
从公理语义看UNITY模型和GAMMA模型的关系[J]
.中国科学技术大学学报,1996,26(4):450-455.
6
陈国勋.
不确定程序的公理语义[J]
.郑州大学学报(自然科学版),1994,26(1):37-40.
7
侯金奎.
构件式体系结构模型转换的语义一致性[J]
.吉林大学学报(工学版),2010,40(1):238-244.
8
袁崇义.
赋值:物理对象上的操作(英文)[J]
.计算机科学与探索,2008,2(5):487-499.
被引量:5
9
万良,石文昌,冯慧.
基于分离逻辑的并行程序性质验证方法[J]
.计算机科学,2013,40(10):148-154.
10
何明高.
在Matlab计算机语言程序中调用勒让德第一类完全椭圆积分[J]
.广东机械学院学报,1996,14(4):24-29.
被引量:4
信息技术与信息化
2015年 第12期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部