类型系统相关论文
自从2014年发布的PEP484对Python标注进行标准化之后，Python社区对Python进行类型标注的工作越来越多，包括PEP526对变量的标注、PEP5......
本文介绍并分析了基于密钥的分布式标签模型，这是一个新的信息流控制模型，它允许应用程序之间共享数据而又不会导致机密信息的泄漏。......
认证编译器是实现三层体系结构中基于逻辑证明的低级代码安全策略的基石.该文设计和实现的认证编译器是安全策略体系中代码发送方......
本文阐述一个基于类型系统编译器的设计和构造。基于类型系统的编译器使用了基于二阶多态λ演算的中间语言，并且对基本的类型系统......
G(o|¨)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言。它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语......
学位
Godel语言是继Prolog语言之后出现的逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了......
随着计算机网络及通信技术的发展,以分布性、并发性、异构性和互操作性等为主要特征的并发分布式计算已成为计算机研究中的主流方......
随着电子商务、电子政务等网络应用需求的不断增长,可扩展标志语言数据库(Extensible Markup Language Database,XML Database)技......
学位
英国Q牌产品,以其很给人新鲜感的声音魅力而能在市场占据一袭之地.而且,这个品牌的产品在功能上的实用性毫不含胡,很适合近期正在......
软件代码的可重用性和可靠性是程序开发中需要考虑的关键问题.Java语言的泛型是JDK1.5(Java Development Kit,Java开发工具包)及以......
视频监控系统存储设备的应用特点视频监控系统一般具有监控点多,摄像头数量多,监控时间长,采集数据的时间往往长达几天或几十天。......
本文介绍了微软一种新的强类型面向数据的编程语言COmega,这种语言旨在增强C#语言的类型构造,使之能够更好地处理诸如XML、对象信......
实时信息交通处理系统在银行业的应用非常普遍,要对此类型系统进行设计开发,选择一个安全可靠的系统间信息交换中间件产品非常重要......
巴斯夫公司现巳开发出的针对护发素的产品概念，在有形条件下，用来满足在情感和功能方面有特定需求的人群，这种方法是一个客户调研验证......
XQuery是W3C提出的一种对XML结构文档或数据进行查询的语言规范，该语言规范对其类型系统仅做了功能性的描述，而没有涉及在编译实现中......
类型系统能检出合法程序的语义错误，可以缩短调试时间，在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子......
广西高速公路IC卡联网收费系统于2003年4月投入运行,经过近一年的实际运行检验,系统运行稳定可靠.为了充分发挥IC卡电子身份标识及......
在高可信软件的各种性质中，安全性是被关注的重点，其中软件满足安全策略的证明方法是研究的热点之一．文中根据作者所设想的安全程序的......
程序设计语言本身的安全性在高安全需求软件的设计和实现中起着基础作用.该文在用于系统级编程的安全语言的设计和性质证明方面,做......
针对面向对象软件在动态更新中遇到类型安全问题，定义了一个多版本类的动态更新演算（MCUFJ演算（multi-version class dynamic updatab......
一些面向上下文的编程语言使用结构化的块结构（block．stmctured construct）将方法调用重定向到层中方法．但该结构无法支持层的动态添加......
主要探讨了使用非形式化的原理和形式化的规则来获得密码协议安全属性的方法。这些原理和规则基于传统的等级和信息流的思想，通过将......
计算机中的数据都有数据类型，不同数据类型其存储空间大小不同，在程序中不同数据类型的变量不能随意直接相互赋值。如果要将一种数据......
为了发现、控制软件中的非法信息流,利用改进后的军用安全模型对Java语言的安全性进行扩展,提出了一种基于类型的信息流控制方法。......
提出了一种安全性更强的指针分析算法。通过对四种常用的指针分析算法的综合分析,选取了Steensgaard算法进行安全性改进,在该算法......
类型系统是一种设计和研究程序设计语言的形式化方法和工具,既可在语言设计之初构造,便于严格、准确、正确地设计实现语言;也可在......
从分析移动计算环境下计算安全性的基本问题入手，探讨了基于程序语言的安全技术和实现方法。通过对移动计算安全框架的分析，指出考虑......
针对C单元的测试用例自动生成的研究，提出在基于OCAML（object CAML）的CIL（Cintermediate language）工具包上的类型系统构建方法。通过工......
Agent的迁移和通信是影响移动计算安全性的重要问题,但是已有的移动计算模型缺乏相应的安全机制。针对这一问题,文中讨论了移动计......
类型系统在分布式系统理论中有着非常重要的作用。在为〖WTBX〗π〖WTBZ〗演算引入多态类型系统后，需要对新的环境下进程的等价关系......
在通信协议中，很多性质都与时间相关。为了研究通信协议的时间性质，需要一种能够描述时间的形式化方法。在Mobile Ambients的基础上，......
提出一种新的基于信息流分析的C代码安全编译技术.建立信息流的格模型,通过安全类型系统进行信息流的静态分析来检测程序中信息流......
在这些年里,由于写文章的关系,我认识了不少做音响生意的朋友.为了获取信息,我经常朝音响市场里钻,收集一点产品资料,并且去聆赏不......
提出了一种基于分层思想的,并且无需构造具体语法树的变量类型提取方法。目的是为高级语言的类型信息的提取提供一般方法,从而降低......
用来表示各种数量特征的语言形式是多种多样的，把语言形式所表现的数量特征概括起来，即为数量范畴。通过对数量范畴类别系统进行再认......
人类已经进入信息社会，计算机网络技术为信息的获取、传输、处理、利用提供了越来越便捷的手段。由于网络“黑客”与“入侵者”的活......
多级安全系统中存在隐通道这一重要的安全隐患,当前各国政府出台的相关准则均要求对高安全级系统进行隐通道检测、度量和处置。其......
本文引入了面向对象程序设计语言的类的概念，对类及春继承性给出了一种严格的形式化描述。这种形式化描述显然是建立面向对象模型的......
类型系统建立在一个小的规则集合基础上，易于实现，可理解性好，且具有计算完全性和足够的表达能力,在类型系统中可以重述推导规则，将其......
程序信息流安全是信息安全的一个重要研究方向．基于类型的静态分析可以保证程序信息流安全与单进程系统相比．移动计算系统中数据通讯......
构造了一种实现完整性信息流控制的安全类型系统．首先，为π-演算建立具有完整性安全等级的安全类型．然后，建立该安全类型的子类规则和......
C++是一种静态类型语言,这就使实现可以容纳不同种类型元素的容器--元组变得十分困难.C++的标准容器库STL虽然提供了丰富的容器,但......
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环......
"霍卓尔·巴日肯"是达斡尔族的祖先神,也是达斡尔人信仰体系中最重要的神灵之一,氏族成员无不对之虔诚敬拜,该神灵在增强氏族认同......
