【摘 要】
：
<正> 1 引言类型系统源于罗素为避免朴素集合论中的悖论而引入的“分类”思想。后来邱奇在他的λ演算中也引入了“类型”。60年代初出现的Algol语言提出了数据类型的概念。逻
【基金项目】
：
高等学校博士学科点专项科研基金,资助号:99-018-411703
论文部分内容阅读
<正> 1 引言类型系统源于罗素为避免朴素集合论中的悖论而引入的“分类”思想。后来邱奇在他的λ演算中也引入了“类型”。60年代初出现的Algol语言提出了数据类型的概念。逻辑学家J.Girard和计算机科学家J.Reynold在70年代初为类型系统引入了“多态性”,分别提出了System F和多态λ演算。另一方面,Mar-tin-L of为了研究数学的逻辑基础,在70年代初提出了直觉类型理论,后来也用于程序开发的研究。 80年代后,类型系统的研究更是蓬勃发展,在程序语言设计、程序开发和验证以及
其他文献
At first,this paper introduces the last results of knowledge presenting and reasoning,basic conception and research methods of nonmonotony. Then,we enlarge abil
It is important to generate random number in cryptography. In this paper, we design Pseu-do-random Bit Generator (PRBG), based on Rijndael with a block length o
<正> 1 引言 Petri网是一种用网状图形表示系统模型的方法,能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。Petri网理论提
<正> 1 引言时间约束Petri网(Timing Constraint PetriNets,TCPN’s)是具有广义时间约束的Petri网,它综合了时间Petri网)(Time Petri Nets)和赋时Petri网(Timed Petri Nets)
The Web is based on a browsing paradigm that makes it difficult to retrieve compositive information from multiple sites. Web information integration systems,as
<正> 1 问题的提出凡学过算法分析或具有编程经验的同行都知道,相同的算法,对于不向的问题或数据或数据的安排可能有不同的效率。如快速排序和合并排序,在最坏情况下其复杂性
The paper presents a new dynamic Multicast Routing algorithm. Then some experiments have been given to analyze the performances. The result shows that the routi
<正> 八十年代末,高精度连续图像数字处理技术日渐成熟,在电影制作中被大量采用并形成了完整的体系,即数字电影系统。尽管目前世界上的数字电影系统多种多样,但从功能上讲它
<正> 1.引言 Perry与Wolf,Garlan与Shaw的早期研究成果发表后,软件体系结构的研究引起了学术界极大兴趣。目前,软件体系结构已经成为软件工程研究中的热点,我国学者也开始了