基于FJ的多版本类动态更新演算

来源 :软件学报 | 被引量 : 0次 | 上传用户：glad8888

【摘要】

：

针对面向对象软件在动态更新中遇到类型安全问题，定义了一个多版本类的动态更新演算（MCUFJ演算（multi-version class dynamic updatable calculus based on FJ calculus））来描述类

【作者】

：

张仕黄林鹏

【机构】

：

上海交通大学计算机科学与工程系,福建师范大学数学与计算机科学学院

【出处】

：

软件学报

【发表日期】

：

2008年10期

【关键词】

：

动态软件更新 FJ(fbathenveight Java)演算 JAVA 类型系统程序设计语言 dynamic software update FJ （fe

【基金项目】

：

Supported by the National Natural Science Foundation of China under Grant No.60673116 （国家自然科学基金）, the National High-Tech Research and Development Plan of China under Grant No.2006AA01Z166 （国家高技术研究发展计划

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

针对面向对象软件在动态更新中遇到类型安全问题，定义了一个多版本类的动态更新演算（MCUFJ演算（multi-version class dynamic updatable calculus based on FJ calculus））来描述类动态更新．MCUFJ演算以FJ（featherweight Java）演算为核心，通过增加update操作表示类的动态更新，运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成，讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响，并且指

其他文献

黑龙江省齐齐哈尔市农业信息化现状及对策

农业信息化建设是促进农业现代化、农村经济发展、农民增加收入的战略选择.现在分析齐齐哈尔市农业信息化现状的基础上,指出其存在的主要问题,主要包括对农业信息化认识不足;

期刊

齐齐哈尔市农业信息化对策

基于三焦点张量点转移的多摄像机协同

针对复杂遮挡环境下多摄像机协同的问题，提出一种基于三焦点张量点转移的多摄像机协同目标定位方法．该方法利用单摄像机视图中头部检测的结果进行对极匹配，然后利用虚拟顶视图和

期刊

多摄像机协同头部检测对极变换三焦点张量点转移multi-camera collaboration head detection epipolar

STD门诊患者泌尿生殖道支原体感染状况及其药敏试验

目的了解STD门诊支原体感染情况及耐药情况.方法从265例患者的尿道和宫颈留取标本,进行支原体培养,阳性者再行10种抗生素药物试验.结果265位患者中有93位感染支原体,其感染率

期刊

STD门诊泌尿生殖道支原体感染药敏试验耐药性genitourinarymycopladmathe status of infectedexpe

164例围产儿死亡回顾分析

目的分析围产儿死亡原因,以提高围产期保健及产科工作质量,降低围产儿死亡率.方法按照围产Ⅰ期标准,对我院8年间164例围产儿死亡情况进行统计分析.结果8年间围产儿死亡率为9.

期刊

围产儿死亡新生儿死亡影响因素死亡原因

基于FJ的多版本类动态更新演算

其他学术论文