【摘 要】
：
本文阐述一个基于类型系统编译器的设计和构造。基于类型系统的编译器使用了基于二阶多态λ演算的中间语言，并且对基本的类型系统进行了扩充，支持递归类型、存在类型、记录类
论文部分内容阅读
本文阐述一个基于类型系统编译器的设计和构造。基于类型系统的编译器使用了基于二阶多态λ演算的中间语言，并且对基本的类型系统进行了扩充，支持递归类型、存在类型、记录类型等类型结构。和传统编译器不同，基于类型系统的编译器能够将源语言的类型系统映射到中间语言，并且在中间语言中显式声明类型信息。通过类型检查算法验证这些类型信息可以在程序运行之前排除程序在运行期间可能发生的异常状态。
首先，我们的中间语言支持高阶函数、参数多态等高级类型结构，能够作为更广泛一类语言的中间语言；其次，我们能够形式化地证明类型系统的完备性，从而用严格的数学方法保证了类型检查的可靠性；最后，程序的类型信息被显式地保存在中间语言中，便于分布式程序和移动代理程序的验证和排错。
其他文献
语义Web(Semantic Web)是下一代的万维网(World Wide Web)，是为了解决现在Web上的信息缺乏计算机能够理解的语义这个问题。 本文的主要内容是研究语义Web环境下的知识表达
在本文中，作者根据Francesc Comellas提出的确定性Small World网络的理论，结合J.P.Hubaux等人的Ad hoc网络中的节点认证模式，提出了在无线通信网络中应用确定性Small World网络
近年来,随着互联网的高速发展,网上的多媒体信息也急剧增加,这些多媒体信息以图像为主.面对浩瀚的信息海洋,人们迫切希望能够快速高效地获取所需要的多媒体信息.有效地组织、
随着大数据时代的来临,科学研究、工业应用等领域的数据规模正爆炸式增长,与此同时复杂数据分析的需求也日益强烈。当前高性能计算在国家的科学研究和科技服务行业中占有举足
近几年来,网络的发展体现出了两方面的特性:第一是物理网络即大规模基础设施与信息网络的关联。第二是社会网络中人与信息网络安全的紧密联系,即社会网络与信息网络的关联。因此可以说,社会网络、信息网络与物理网络正在快速的融合在一起,形成一个新的融合网络。我们叫这个网络为CPSNet。这个新的融合网络一方面促进了工业生产效率,提高了人们的生活质量,但是另一方面在融合网络中,各个网络之间的复杂关联影响也使网络
近年来,我国电子政务(E_Government)取得了长足的进展,但也存在着不少问题,制约着我国电子政务的进一步发展。本文主要依托重庆市某单位的网上办公自动化(Office Automation)
目前，越来越多的企业用户正在为应用集成所困扰，据统计，在绝大多数公司，80％的IT资源都花费在基础设施的开发、集成与维护上，这就意味着只有20％的IT预算能够用于提升企业市场竞争力、
随着信息技术不断深入应用到金融、交通、军事、生态环境监测、Web应用等领域，需要计算机处理的数据类型和数据量与日俱增。近年来，数据流作为一种新数据类型的出现引起了数据
随着图形图像处理技术在日常生活中的广泛应用,其包含的数据量和计算复杂度越来越高。其中,图形图像的相似性匹配问题是高级算法的重要基础。而传统计算机体系的规模和芯片密
为了解决安全数据库中事务处理问题,研究了安全数据库中多级事务ACIS正确性标准。提出了基于快照的多级安全并发控制算法和基于两阶段锁和串行图的多级事务调度算法。基于快