类型化语言相关论文
因特网规模的不断扩大使得移动计算成为一个重要的研究领域.在该领域内,代码安全性问题(code safety)受到学者的广泛关注.移动代码......
为了能够减小运算系统的需信任计算基础、描述较小粒度的安全策略，目前的研究倾向于从程序设计语言和编译器入手来提高软件的安全性......
类型化中间语言是提高代码安全性的一类重要方法.然而在其实现过程中,庞大的类型信息很难被高效地表达和操作.一个未经优化的实现......
介绍了以构造一个具有更小的需信任计算基础的Java虚拟机系统为目的的研究工作，将一种类型安全的低级语言TLL应用到Java虚拟机的即......
