您的位置： 专家智库 > >

茹祥民

作品数：3 被引量：3H指数：1
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 3篇自动化与计算...

主题

  • 2篇虚拟机
  • 2篇JAVA虚拟...
  • 1篇移动计算
  • 1篇JAVA程序
  • 1篇JAVA

机构

  • 3篇中国科学技术...

作者

  • 3篇茹祥民
  • 2篇陈意云
  • 1篇吴萍
  • 1篇陈晖

传媒

  • 1篇软件学报
  • 1篇计算机工程与...

年份

  • 3篇2005
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
Java虚拟机上的类型重建被引量：1
2005年
在实现一种新的类型化低级语言TLL(TypedLow-levelLanguage)的过程中,发现从Java到字节码(bytecode)的翻译过程中丢弃了部分类型信息。在设计中,不仅要保持字节码中现有的类型信息,而且要从中推导出丢失的类型信息。论文介绍了类型重建中的基本问题,并针对一些难解问题提出了重建算法。
茹祥民吴萍陈意云
关键词：JAVA虚拟机
一种用于Java程序验证编译的标签类型被引量：2
2005年
在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结构,在向低级语言的编译过程中需要用标签机制来实现.针对具有多继承接口的 Java 程序包含的一种特殊的类型调度结构,提出了一种新的标签类型.包含这种标签类型的低级语言能够有效地实现 Java 程序中的接口调用.这种对接口调用的编译方法被用在一个以类型化低级语言为验证语言的 Java 字节码即时编译器中.
陈晖陈意云茹祥民
类型化低级语言的扩展
本文的工作基于Intel的开放式运行平台(OpenRuntimePlatform，简称ORP)。提出了对类型化低级语言语言(TypedLow-levelLanguage，简称TLL)的扩展，将利用类型信息所带来的类型安全...
茹祥民
关键词：JAVA虚拟机移动计算
文献传递
全选 清除 导出
共1页<1>
聚类工具0