操作语义造句

造句与例句手机版

类型信息为值提供更精确的操作语义。
基于参照的对词结构操作语义的归纳学习
语句的操作语义与指称语义的等价性证明
在这个基础上，我们可以构建广泛的更高级别的每操作语义，比如事务。
在运行工具后，服务器端的开发人员必须实现正确的业务逻辑以执行该服务定义中的操作语义。
在描述、解决具有动态模糊性的问题时,本文所给出的dfl程序设计语言的操作语义模型与常见的高级程序设计语言相比表现出了很好的优越性。
这是所有的远程过程调用（ rpc ）机制实现的操作语义，因为它是在过程性编程语言和面向对象的编程语言中的标准函数调用语义。
在客户端，事务被定义为移动事务“程序”并被用来同步，可以定义详细的操作语义以及替代操作，还可以定义冲突解决方案。
首先针对uml的特点对扩展层次自动机( extendedhierarchicalautomata ， eha )进行改进，以便能结构化地表示umlstatecharts ，并给出相应的操作语义。
在把根据eha操作语义得到的标记迁移系统和表示性质的线性时态逻辑公式分别转换为b chi自动机后，用基于自动机理论的模型检验方法验证umlstatecharts的正确性。
用操作语义造句挺难的，這是一个万能造句的方法
本文的特色体现在: ( 1 )提出了可以描述动态模糊性问题的演算的变形方法; ( 2 )提出了可以解决动态模糊性问题的dfl程序设计语言的操作语义模型,并对该模型的正确性和可靠性进行了证明; ( 3 )提出了dfl程序设计语言的基本框架结构。
动态模糊逻辑( dfl )的研究已有十年的时间了,目前已取得了一系列研究成果,为了进一步拓展这些研究成果的应用,本文借鉴dijkstra的监督命令程序结构,通过结构化操作语义描述方法从软件理论方面进行研究,提出了动态模糊逻辑程序设计语言( dflprogramminglanguage )的操作语义模型,以期形成解决动态模糊性问题的程序设计方法。
主要内容包括:变形传统的演算,以更好地描述具有动态模糊性的问题;通过bnf描述了dfl程序设计语言的抽象语法;通过一个三元组< dfsc , dfo , dfss >给出了dfl程序设计语言的操作语义模型;给出了dfl程序设计语言的基本框架结构;给出了该操作语义模型的一些应用实例;通过hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。
针对以上不足，作者将上述两种方法结合起来，提出了一种新的形式化状态机语义的方法，即首先对uml状态机的元模型的语法结构进行分析，然后通过具有面向对象特征的raise ( rigorousapproachtoindustrysoftwareengineering )的说明语言rsl ( raisespecificationlanguage )直接对uml状态机的操作语义进行形式化。