类型系统相关论文
Oj是一个快速的JSON解析Ruby库,由于它极其高效且易用,根据Github统计,有上万项目以其作为依赖项.Oj库默认使用一个类型系统来解析......
首先,为π-演算建立具有安全级别的安全类型。然后,建立该安全类型的子类规则和类型规则,并通过类型推理实现安全策略、访问权限的传......
本文对基于XPath2.0实现XML文档导航的相关技术进行了较深入的分析,重点探讨了XPath2.0的数据模型、类型系统和路径表达式,并对文档......
自从2014年发布的PEP484对Python标注进行标准化之后,Python社区对Python进行类型标注的工作越来越多,包括PEP526对变量的标注、PEP5......
该文就是尝试构建一个带继承的类型做出解释.该文的研究是在ω′λx, 并且用范畴论中的一个非常有用的模型-PER模型来对它做出解释......
近20年来人们研究和实现了许多语言的部分计值器,但是其中极大多数都是其于串行语言的,而这与并行语言是当今计算机科学主流的状况......
以往对程序语言的形式化验证不能与类型系统相结合,推理程序的规则依赖于确定的类型。 这篇论文将尝试抹去类型与断言的界限。本......
当前时态地理信息系统TGIS(Temporal GIS)的研究已经成为GIS理论界和数据库团体关注的前沿研究热点之一,而TGIS的核心是时空数据模......
灰箱演算是一种用于描述移动系统及其交互的形式化方法.该文以灰箱演算的一个变体--鲁棒灰箱演算(ROAM)作为研究对象,从操作语义、类......
认证编译器是实现三层体系结构中基于逻辑证明的低级代码安全策略的基石.该文设计和实现的认证编译器是安全策略体系中代码发送方......
本文阐述一个基于类型系统编译器的设计和构造。基于类型系统的编译器使用了基于二阶多态λ演算的中间语言,并且对基本的类型系统......
G(o|¨)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言。它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语......
学位
Godel语言是继Prolog语言之后出现的逻辑程序设计语言,它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了......
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协......
在移动资源演算(MR)中发现了一种干扰现象,称为直接访问干扰,该现象比移动灰箱演算(MA)中的墙干扰现象更具破坏力,因为在MR中恶意......
根据项目背景情况、电力系统的构成特点、现场数据模拟测试等方面对低压大容量变频系统进行分析和研究,为同类型系统设计开发提......
RTI接口是RTI提供的一组公共数据结构和服务,包括联邦成员接口和RTI内部通信接口两部分。为了提高通用性并降低RTI系统开发的复杂度......
基于低压宽带电力线通信技术的应用在我国已日益成熟,而国际上相应的中压技术也在不断发展和完善.本文首次提出将该先进技术运用于......
本文对G(o)del语言编译中多态多类类型的实现进行了研究。文章针对类型系统的实现,介绍了语义分析中的静态类型检查和实现一致匹配......
SgmLP是俄罗斯学者图佐夫教授主持研发的一种面向俄语文本的自然语言处理技术,其核心是文本的语义处理,因而命名为SemLP(Semantic ......
本文提出了一种类型系统,确保非确定性编程语言中的好类型程序满足无干扰安全特性.这项工作扩充了Dennis Volpano可靠性类型系统的......
该文通过对低温地板辐射系统传热过程由初始到达到稳定全过程测试所得实验数据的处理,对该系统的舒适性及其节能效果进行了分析,阐明......
该文介绍了在数据库及程序设计语言高层上进行扩充以支持抽象复杂对象表示的基本思想。该思想是对一高级程序设计语言类型系统进行......
在进行协议验证的研究中,研究人员采用并实现用一种惰性高阶纯函数式语言Clean作为验证的核心计算器。Clean语言的实现是基于图重写系统的。该......
该文通过对低温地板辐射系统传热过程由初始到达到稳定全过程测试所得实验数据的处理,对该系统的舒适性及其节能效果进行了分析,阐明......
随着电子商务、电子政务等网络应用需求的不断增长,可扩展标志语言数据库(Extensible Markup Language Database,XML Database)技......
学位
在描述程序变换系统时,需要确定目标程序的数据表示.用字符串表示目标程序,虽直观自然,但无法保证目标程序的语法正确性;用树或项......
作为一种软件开发的成功技术,面向对象已经成为了计算机科学学术研究领域的一个热点课题。本文旨在对面向对象的类型和精化问题进行......
本文从Ideal的基本概念出发,研究了Ideal作为类型的语义模型所具有的性质.在类型的Ideal模型下,讨论了Garment中参数化多态类型和......
类型系统是近年来理论计算机科学的研究热点之一.1999年周晓聪曾在文献[1]中提出并研究了类型系统λω×≤及其性质.类型系统λω......
G(o)del语言是一种说明性逻辑程序设计语言.该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类......
英国Q牌产品,以其很给人新鲜感的声音魅力而能在市场占据一袭之地.而且,这个品牌的产品在功能上的实用性毫不含胡,很适合近期正在......
在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较......
视频监控系统存储设备的应用特点视频监控系统一般具有监控点多,摄像头数量多,监控时间长,采集数据的时间往往长达几天或几十天。......
为研究高阶子类型的范畴论语义模型,区分了带高阶子类型的类型系统中的各种上下文,并简化其中的受限全称量词类型引入规则,而提出了类......
本文介绍了微软一种新的强类型面向数据的编程语言COmega,这种语言旨在增强C#语言的类型构造,使之能够更好地处理诸如XML、对象信......
...
实时信息交通处理系统在银行业的应用非常普遍,要对此类型系统进行设计开发,选择一个安全可靠的系统间信息交换中间件产品非常重要......
巴斯夫公司现巳开发出的针对护发素的产品概念,在有形条件下,用来满足在情感和功能方面有特定需求的人群,这种方法是一个客户调研验证......
为了满足多线程环境下实际应用程序故意释放敏感信息以及加强信息机密性的需求,基于强互模拟等价的方式定义能够同时处理信息降密......