论文部分内容阅读
类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法；给出了类型系统的形式化定义，引入了安全类型和安全类型系统的概念，并给出了安全类型系统的子类型规则和安全类型规则；最后讨论了安全类型系统在编译技术中的应用。
安全类型系统在编译技术中的应用研究
【摘 要】
：
类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法；给出了类型系统的形式化定义，引入了安全类型和安全类
【机 构】
：
解放军信息工程大学电子技术学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2008年9期
【基金项目】
：
国家自然科学基金资助项目（60503012）
其他文献
一条五马河碧波荡漾 一座永安寺钟声悠扬 一道摩天嶺高耸入云 一扇南大门包容开放 五马啊五马，生我养我的地方 五马啊五马，日夜思念的故乡 山里的泉水最甜 酒都的美酒最香 离开你，你在我梦里 走进你，你在我心上 一个小山村宁静安祥 一段老故事伴我成长 一片高粱红孕育希望 一條致富路托起梦想 五马啊五马，生我养我的地方 五马啊五马，日夜思念的故乡 远飞的鸟儿归巢 离家的
目的通过分析胃癌根治术后并发肠套叠3例病人的临床诊断与治疗方法,为进一步对胃癌根治术后并发肠套叠的及时诊断与治疗提供帮助。方法回顾性分析2018年10月至2019年3月安徽
随着航天活动的发展，空间探测任务对于高性能计算的需求越来越明显，高性能的空间超级计算机成为决定下一代空间探测计划成败的关键之一。专用的防辐射计算部件不仅价格昂贵，而且
京津冀非物质文化遗产具有天然的血脉联系,呈现同源性、共生性、互赏性特征,这种关联源自相近、相通的自然与人文环境,体现在非遗技艺传承格局、同源分枝的传承路径、传承人
在富于韵律的故宫景观带中，景山处于最高潮，树以松柏为主，取义四季常青和君子精神；花则独尊牡丹，用国色天香，比喻皇家气象。但近几年，这样的韵律被打破了。$$ 每到春天，园中种植了
报纸
20世纪90年代,我国开始执行产权交易制度,随着经济的发展,产权交易在市场中越来越常见。从整体来看,企业国有产权交易市场的成立,可以进一步推动国有企业的改革,在提高资源配
本文介绍了一个基于知识的自然语言理解系统和系统的知识库中知识的表示模式,描述了知识库中领域过程树的知识获取过程。根据领域过程树的知识表示模式,本文设计并实现了一个
AJAX技术作为一种新兴的网络技术比传统页面刷新模式具有更好的性能和友好的用户体验，为开发类桌面web应用程序提供了解决方案。本文针对AJAX基本原理和性能进行了分析，并对AJA
摘 要：在我国现代，信息技术飞速发展，高中数学教师要紧跟时代的发展，在课堂教学中结合信息技术进行教学。在传统的数学教学中，由于不同层次学生数学能力的参差不齐，学生对数学知识的接受、学习、掌握能力都是不同的，教师在教学过程中存在一定的困难，很难实现全面教育的教学目标.在新课改时代背景下，高中数学教师要重视结合信息技术进行教学，下文将以高中数学课堂教学中重点，阐述如何在高中数学课堂教学中结合信息技术进
求解传感器网络最大生存时间是设计高性能路由协议和拓扑控制协议的理论基础，在实践上有很重要的意义。目前主要通过近似算法求解，而且没有考虑到接收功耗。本文对生存时间优化