%0 Journal Article
%T java虚拟机动态类加载的形式化模型
%A 左天军 朱智林 韩俊刚 陈平？
%J 计算机科学
%D 2005
%X java虚拟机支持一种功能很强的动态加戡类的机制．它具有惰性加戡、类型安全连接、用户自定义加戡策略、以及劝态名字空间等特性。但是，在java的早期实现(jdk1．0和1．1)中，这种机制包含了一种称为类型欺骗的严重设计错误．尽管jdk1．2通过引入一种类加戡约束策略修正了这个错误，但是由动态加戡引起的其它形式的类型欺骗仍然存在于jdk1．2和1．3中。本文详细讨论了与动态类加戡相关的类型欺骗问题，提出了一个严格定义java虚拟机操作语义和静态语义的形式化模型。其中，操作语义描述了类加戡约束策略、字段及方法
%K java虚拟机形式化模型动态jdk1．2加载静态语义用户自定义安全连接名字空间设计错误操作语义语义描述解析算法类型欺骗机制字段
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=16191286&flag=1