一种用于Java虚拟机的类型化低级语言

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:a12431
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了能够减小运算系统的需信任计算基础、描述较小粒度的安全策略,目前的研究倾向于从程序设计语言和编译器入手来提高软件的安全性.基于以上研究背景设计了一种类型化的低级语言TLL,TLL是一种为Java虚拟机即时编译器设计的类型安全中间语言,以构造一个具有更小需信任计算基础的Java虚拟机系统为目的.TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象.基于TLL的一个虚拟机原型系统已经实现,它可以作为实现一个高安全且面向多种源语言的运行时系统的起点.
其他文献
"四边形"的教学内容比较抽象,学生难以掌握。教材先简单涉及四边形,从图画入手,接着再给出一些图形,然后出示长方形、正方形,让学生感受其特点。教材中"做一做"的第一、第二题就
随着网络技术的迅速发展,互联网络已走进了大学生的生活,大学生成了我国网民中最主要群体,网络极大地丰富了他们的生活,但是网络也给他们带来了一些消极、负面的影响.作为高
“动态生成”是新课程改革的核心理念之一,叶澜教授指出:“要从生命的高度、用动态生成的观点看课堂教学。”可见,课堂教学是一个动态生成的过程,教师必须紧紧抓住课堂教学中“动态生成”的因素,使之成为学生知识、能力、情感的催化剂。作为一名教师,我们该如何把握新课标的精神,让课堂生成有效地促进数学教学呢?  一、建构弹性方案,注重课堂生成  预设与生成是辩证的对立统一体,课堂教学既需要预设,也需要生成。课堂
数学课堂是一个资源生成和动态生成的过程。在这个过程中,教师的有效提问,可以对学生起到思维桥梁与导向的作用,帮助学生找到思维的方向。很多时候,“画龙点睛”式的 “一问”,会让我们的教学效果“锦上添花”。   一、多此一“问”,巧妙化解“节外生枝”  1.问一问,亮出教学重点  教学过程是复杂多变的,它要求教师具有灵活的调控能力,对课堂的运作要有敏锐的触觉,对于备课当中没有预想到的问题要做出及时、迅速
文章通过分析高校科技成果转化率低的表现,主张并寻求有效措施,扩大科技成果的转化形式,加强科技成果的推广力度,使之尽快实现商品化、产业化,更好地服务于社会主义现代化的经济建
在各种数据系统的处理中,总有一系列相对独立而相互关联的事务系列组成.如何合理地安排这样的事务的顺序,一直是数据系统优化中存在的问题.该问题的一般化形式是一个NP问题,
叶澜教授指出:“课堂教学是一个动态生成的过程,再好的预设,也无法预知课堂教学中的全部细节。”因此,课堂上教师要善于“点击”生成资源,以此巧妙改变教学预案,把课堂上学习的主动权还给学生,从而“刷新”出精彩纷呈的课堂。  一、“单击”差异性生成资源,“升级”教学目标  由于个体的不同,学生的认知水平和思维能力是存在差异的。教学中,教师要积极地去“单击选中”这些差异性生成资源,进行有效开发,对教学目标进
水稻旱地育秧技术具有“三早”(早播、早发、早熟)、“三省”(省力、省水、省秧田)、“两高”(高产、高效)等优点。旱育秧所育成的秧苗矮健、抗寒力和发根力强,栽后不易坐蔸,返青快,分