管旭东;杨一玲;你,金源 键入不断变化的环境。 (英语) Zbl 1003.68093号 信息处理。莱特。 80,第5期,265-270(2001). 摘要:本文提出了一个处理环境微积分类型演化问题的类型系统。它打破了开放能力必须在开放过程中引入开放环境的确切类型信息的规律。它还可以作为支持类型演化的通用类型体系结构。类型系统的典型用法在固定服务器示例中进行了说明。 引用于1审查引用于8文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 68甲15 编程语言理论 关键词:固定服务器 PDF格式BibTeX公司 XML格式引用 \textit{X.Guan}等人,《信息处理》。莱特。80,第5号,265--270(2001;Zbl 1003.68093) 全文: 内政部 参考文献: [1] Amtoft,T。;Kfoury,A。;Pericas-Geertsen,S.,什么是多态型环境?,(欧洲编程研讨会(2001年4月2日至6日))·Zbl 0977.68525号 [2] Bugliesi,M。;Castagna,G.,《安全环境》(2001年《POPL'01会议录》)·Zbl 1323.68404号 [3] Cardelli,L。;Gordon,A.,《移动环境》(Proc.FoSSaCS’98)。程序。FoSSaCS’98,计算机课堂讲稿。科学。,1378(1998),《施普林格:柏林施普林格》,140-155·Zbl 0954.68108号 [4] Cardelli,L。;Gordon,A.,《移动环境的类型》(Proc.POPL'99(1999),ACM出版社:纽约ACM出版社),79-92 [5] Cardelli,L。;Ghelli,G。;Gordon,A.,《移动环境的移动类型》(Proc.ICALP’99)。程序。ICALP’99,计算机讲义。科学。,1644(1999),斯宾格:斯宾格柏林),230-239 [6] Cardelli,L。;Ghelli,G。;Gordon,A.,《环境群体和流动类型》(Proc.TCS2000)。程序。TCS2000,计算机课堂讲稿。科学。,1872(2000),《施普林格:柏林施普林格》,333-347·Zbl 0998.68536号 [7] Dezani-Ciancaglini,M。;Salvo,I.,《移动安全环境的安全类型》(《亚洲学报》,2000年)·Zbl 0988.68544号 [8] 关,X。;Yang,Y。;You,J.,《使环境更加稳健》,(《软件理论与实践国际会议论文集》,中国北京(2000)),377-384 [9] 列维·F。;Sangiorgi,D.,《控制环境中的干扰》(Proc.POPL'00,马萨诸塞州波士顿(2000)),352-364·Zbl 1323.68411号 [10] Zimmer,P.,《移动环境下的分型和打字算法》(Proc.FoSSaCS’2000)。程序。FoSSaCS’2000,计算机课堂讲稿。科学。,1784(2000),《施普林格:柏林施普林格》,375-390·Zbl 0961.68094号 [11] Zimmer,P.,《纯移动环境的表现力》(Proc.EXPRESS’00(2000))·Zbl 1260.68281号 [12] 本论文的完整版本及证明,可在 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。