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