类型系统相关论文
自从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开发工具包)及以......
视频监控系统存储设备的应用特点视频监控系统一般具有监控点多,摄像头数量多,监控时间长,采集数据的时间往往长达几天或几十天。......
