一种类型化低级语言的设计与应用

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：armodmli

【摘要】

：

介绍了以构造一个具有更小的需信任计算基础的Java虚拟机系统为目的的研究工作，将一种类型安全的低级语言TLL应用到Java虚拟机的即时编译器中．TLL的类型系统基于多态的类型化入

【作者】

：

陈晖陈意云项森

【机构】

：

中国科学技术大学计算机系

【出处】

：

小型微型计算机系统

【发表日期】

：

2006年5期

【关键词】

：

类型化语言代码安全验证编译 typed language code safety certifying compilation

【基金项目】

：

国家自然科学基金项目（60473068）资助　

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

介绍了以构造一个具有更小的需信任计算基础的Java虚拟机系统为目的的研究工作，将一种类型安全的低级语言TLL应用到Java虚拟机的即时编译器中．TLL的类型系统基于多态的类型化入演算，它具有丰富的表现力且能够编码各种高级语言的抽象．基于TLL的一个虚拟机原型系统已经实现，它可以作为实现一个具有微小的需信任计算基础的Java虚拟机的起点．

其他文献

肺炎支原体感染后患儿血清免疫球蛋白及T淋巴细胞亚群的动态变化分析

目的探究肺炎支原体感染后患儿血清免疫球蛋白及T淋巴细胞亚群的动态变化分析情况。方法便利选取该院2014年4月—2016年4月期间确诊的肺部支原体感染患儿70例为观察组,选取

期刊

肺炎支原体感染血清免疫球蛋白T淋巴细胞亚群动态变化

结构陶瓷的现状与发展

0 前言工程结构陶瓷是陶瓷材料的重要分支,它以而高温、高强度、而磨损、超硬度、抗腐蚀等机械力学性能为主要特征,广泛应用于机械、电子、航空航天、生物工程领域,约占整个

期刊

结构陶瓷摩擦磨损陶瓷材料陶瓷粉体氧化铝陶瓷纳米烧结氮化硅陶瓷等离子活化烧结现状与发展

林庚新诗格律理论探讨

八十多年前,在中国社会“新”与“旧”势不两立的对峙中,一场轰轰烈烈的“新文化运动”以秋风扫落叶之势席卷了中国文化的角角落落,雕琢、陈腐、艰涩的旧文学被平易、新鲜、

期刊

新诗格律闻一多五四体五七言诗

水性聚氨酯的发展前景

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

期刊

水性聚氨酯扩链剂多元醇异氰酸酯

铝箔玻璃纤维复合风管道的适用性探讨

铝箔玻璃纤维复合风管道作为一种新型的空调通风管道材料在国内不断的推广应用。针对铝箔玻璃纤维复合板能作为空调通风管材的特性，讨论其在工程中的适用性和施工中应掌握的要

期刊

铝箔玻璃纤维复合风管道铝箔防火材料玻纤风管技术

农村留守老人生活状况调查分析——以甘肃省M村为例

期刊

农村留守老人生活状况

高管变更对并购绩效的影响研究

学位

高管变更并购绩效并购类型市场分割

《卫星电视与宽带多媒体》之广电产品推荐榜

期刊

宽带多媒体产品推荐卫星电视价格比较产品功能

一种灵敏的文本图像认证混沌脆弱水印技术

提出了一种适合二值文本图像产品认证、完整性证明和内容篡改证明的脆弱数字水印算法．文中定义了区域的最不重要像素块LSPB（Least Significant Pixel Block）概念，将一个区域中非

期刊

脆弱数字水印混沌二值图像认证fragile watermark chaos binary images verification

振幅整合脑电图在新生儿科应用的研究进展

振幅整合脑电图（amplitude integrated electroencephalo-graphy,aEEG）是指所有通过振幅波分析脑电图的方法,是简单化的单通道的脑电监测系统。与常规脑电图不同,aEEG具有操作

期刊

振幅异常振幅整合脑电图睡眠周期新生儿科新生儿惊厥癫疒间缺氧缺血性脑损伤PMA爆发抑制

一种类型化低级语言的设计与应用

与本文相关的学术论文