指称语义相关论文
为了使用形式化方法对PLC程序的正确性验证奠定基础,研究PLC程序语言的指称语义定义,以实现对PLC形式化定义和检测验证。基于程序建......
几十年来,软件重用一直是计算机软件科学重要的研究工作之一。从面向过程的结构化方法到面向对象方法都是在提高软件的重用程度,但迄......
指称语义是一种描述程序设计语言语义的模型.XML(可扩展标记语言)是应用非常广泛的标记语言,它的语义能被人理解但不能被计算机理......
学位
形式化方法借助数学方法为系统的说明、开发和验证提供了一个框架,有利于发现目标软件系统需求中的不一致性、不完整性等问题。 ......
近年来,突破传统计算领域种种束缚的量子计算,越来越受到人们关注。一方面,随着电子器件越做越小,其功能开始受到量子效应的干扰,致使传......
量子程序设计语言是用于书写量子程序的语言,自1996年出现以来,颇受业界重视,它已经成为量子计算领域研究热点之一。 本文在明确研......
该文旨在全面深入地研究实时数据库中的主动规则系统.在分析现有规则模型的基础上,提出一种基于图的规则模型E-RG,并全方位地研究......
军队院校郑州地区协作中心第一届计算机教学与应用学术年会于11月6日在解放军电子技术学院召开,驻豫部队及军事院校的有关领导和......
第1期一台高速向量机的设计·············“···,······························......
建模和仿真技术日益成为研究复杂系统的主要手段。针对科学研究和产业领域的热点问题,涌现出大量仿真框架、模型、组件和工具等,其......
在研究关于CSP并发指称语义的不同研究方法的基础之上,利用广义状态的概念和完备距离空间作为指称的方法,讨论了OCCAM的一个子集OC......
接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了......
为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语......
安全进程代数可以作为信息流安全的基础理论框架.本文引入了一种基于CCS的安全进程代数,描述了它的语义及等价模型.......
就语言的指称语义分别讨论了智能神经网络程序设计语言NIPL中有关规则的动、静态语义,从而建立了NIPL中规则的数学模型。......
VHDL是一种广泛使用的硬件描述语言.但长期以来缺乏严格的形式语义.文章介绍并分析了若干具有代表性的VHDL指称语义的研究工作.在......
<正> 4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索......
PROLOG程序的语义通常是根据一阶逻辑的模型论给出的。但是,这并不足以刻划PROLOG程序的计算特性。PROLOG的实现主要采用了以程序......
1 引言主动数据库的主动特性一般使用E-C-A(Event-Condi-tion-Action)规则模型描述.我们用CA规则表示ECA规则模型中的Condition和A......
文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形......
文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称......
为UML顺序图构建形式化语义,不仅有利于精确描述软件系统的动态交互过程,而且有利于进行基于UML模型的分析和验证,是有效提高软件......
作为XML(extensible markup language)数据查询的核心操作,树模式查询的应用前景广泛,其研究具有重要意义。针对扩展的树模式GTP++(genera......
继承被认为是面向对象程序设计的重要特征之一,如何解释继承一直是面向对象形式语义研究的难题,本文针对继承关系的一种形式一一对象......
文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角......
文章提出一种基于轨迹的指称语义框架,该框架结合了操作语义和代数语义的特征,避免使用专门的数学理论,将静态语义和动态语义结合在一......
统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括......
本文给出了一个面向对象的实时分布式语言的指称语义,在不同层次上给出了语句、对象和程序的清晰描述,提出了实时状态的概念。借助于......
使用扩展的持续时间演算(EDC)模型,给出了时间化的RAISE描述语言(RSL)的一个子集的指称语义.在扩展的持续时间演算模型中加入了一......
Tabular 表达式是一种采用表格化结构组织函数或关系的形式化描述工具,在需求工程领域中具有广泛的应用,为Tabular表达式建立形式的......
给出了连续Domain基的一些等价刻划。引入了连续Domain权的概念,并且讨论了它与连续Domain带上Scott拓扑构成的拓扑空间权的关系。......
采用VDM的指称语义元语言METAⅣ描述Eiffel语言3.0版本的语义.包括四个部分:①对原有的Eifel语法进行抽象,从而给出它的抽象文法.该抽象文法在保持原有语法风......
以SOS规则的方式定义了含中断和精化算子的进程代数LOTOS的操作语义,使得这一操作语义与指称语义相对应,即:由指称语义导出的传输系统......
指称语义(DS)是描述程序设计语言语义的一种强有力的工具,抽象级别较高,难于在机器上实现,解决的办法就是将DS转换成易于在机器上......
统一建模语言UML是近年来软件工程领域的重要成果之一.在UML规范中,静态语义是用OCL语言和自然语言描述的,而动态语义基本上是用自然......
在研究关于CSP并发指称语义的不同研究方法的基础之上,利用广义状态的概念和完间作为指称的方法,讨论了OCCAM的一个子集OCCAM/TOY的......
补偿通信顺序进程(cCSP)是通信顺序进程用于长事务建模的扩展,可用来描述服务计算中的编制程序,比如WS-BPEL程序。目前,cCSP只有操作语......
文中为算法语言L定义了动态指称语义,在描述避免了含有函数空间构造运算的递归论域方程,指称语义可以说明L的一些良好的数学性质,也可以......
文章提出了一个简化的Java语言SimpleJ并给出了此语言的指称语义。SimpleJ是一个简单的面向对象语言,具有Java语言的基本语义特点,......
接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基......
连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的......
本文利用形式化的方法对System Verilog的指称语义进行研究,采用EBES(extended bundle event structure)作为抽象模型,以便更好的描述S......
在计算机科学中,形式语义学以数学为工具,精确地定义和解释计算机程序设计语言的含义或语义.其中操作语义学和指称语义学是形式语义学......
主要从理论上研究保证分布式计算中资源安全性的方法。抽象地将每个进程表示为一个数据对,由给定资源和分配给分布式计算的资源两......
智能神经网络程序设计语言NIPL是应用智能神经网络系统理论、开发智能神经网络应用系统的有力工具。着重讨论了NIPL中有关规则的指......
Trace模型是定义并发进程指称语义的基本方法之一,在Trace模型的基础,为获得更广泛的表达能力,通过进程指称论域的各种变化,派生出了一系列的语义......