A formal specification of Java™ class loading

被引：0

作者：

Kestrel Institute, 3260 Hillview Avenue, Palo Alto, CA 94304, United States ^{[1
]}

机构：

来源：

Proc Cinf Object Orient Program Syst Lang Appl OOPSLA | 1600年 / 10卷 / 325-336期

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Dynamic programming - Security of data - Virtual reality

引用

页码：325 / 336