检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

接续到直接的指称语义转换

计算机研究与发展 2006年第7期43卷 1304-1308页

作者：吕江花马世龙潘静金成植北京航空航天大学软件开发环境国家重点实验室北京100083 北京科技大学管理学院北京100083 吉林大学大学计算机科学与技术学院长春130012

接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的... 详细信息

接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的处理.最后给出了转换算法的Haskell实现系统,验证了转换的可行性.

关键词：指称语义接续函数基调语义转换

在线全文

学校读者我要写书评

暂无评论

一个面向对象的实时分布式语言的指称语义

软件学报 1996年第4期7卷 244-251页

作者：左志宏龚天富成都电子科技大学计算机系

本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次Ｌ给出了语句、对象和程序的清晰描述．提出了实时状态的概念．借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性．

关键词：实时指称语义面向对象分布式语言

在线全文

学校读者我要写书评

暂无评论

Smalltalk－80的指称语义研究

软件学报 1995年第7期6卷 385-390页

作者：李舟军王兵山长沙工学院计算机系

Ｓｍａｌｌｔａｌｋ—８０是原型的面向对象程序设计语言和环境．本文简要地给出了Ｓｍａｌｌｔａｌｋ－８０的形式模型，并基于该模型描述了Ｓｍａｌｌｔａｌｋ—８０的静态和动态指称语义．

关键词：面向对象指称语义 Smalltalk语言程序语言

在线全文

学校读者我要写书评

暂无评论

PROLOG的指称语义和操作语义(续)

计算机科学 1990年第5期17卷 31-37页

作者： Saumya K.Debray Prateek Mishra 戴敏

4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索有可能没有解(在极端情况下,对无限树形结构进行的穷尽搜索会使逻辑上正确的程序永不终止)。语言成份cut为用... 详细信息

4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索有可能没有解(在极端情况下,对无限树形结构进行的穷尽搜索会使逻辑上正确的程序永不终止)。语言成份cut为用户提供了控制这类回溯的手段。

关键词： PROLOG语言指称语义操作语义

在线全文

学校读者我要写书评

暂无评论

动态模糊逻辑程序设计语言的指称语义

计算机科学 2009年第1期36卷 153-157页

作者：韩小芬李凡长苏州大学计算机科学与技术学院

文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计... 详细信息

文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义。最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程。

关键词：动态模糊逻辑动态模糊逻辑程序设计语言指称语义

在线全文

学校读者我要写书评

暂无评论

智能神经网络程序设计语言中规则的指称语义

计算机应用研究 2004年第10期21卷 44-45页

作者：刘晓洁四川大学计算机学院技术中心四川成都610065

就语言的指称语义分别讨论了智能神经网络程序设计语言NIPL中有关规则的动、静态语义,从而建立了NIPL中规则的数学模型。

关键词：神经网络规则指称语义程序设计语言

在线全文

学校读者我要写书评

暂无评论

命令的指称语义在谓词域上的一种表示

计算机科学 2008年第7期35卷 157-160页

作者：丁志义李全德宋国新邵志清华东理工大学计算机科学与工程系上海200237 宁夏大学数学计算机学院银川750021

文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。

关键词：谓词转换器状态转换器指称语义

在线全文

学校读者我要写书评

暂无评论

一个类Java语言的指称语义

计算机工程与应用 2003年第28期39卷 113-117页

作者：谭浩李旭晖何炎祥中国科学技术大学研究生院北京100039 武汉大学计算机学院武汉430072

文章提出了一个简化的Java语言SimpleJ并给出了此语言的指称语义。SimpleJ是一个简单的面向对象语言,具有Java语言的基本语义特点,该文通过对SimpleJ语言的语义域和语义方程的刻画和描述,讨论了以对象类型和异常语句为主的Java语言的语... 详细信息

文章提出了一个简化的Java语言SimpleJ并给出了此语言的指称语义。SimpleJ是一个简单的面向对象语言,具有Java语言的基本语义特点,该文通过对SimpleJ语言的语义域和语义方程的刻画和描述,讨论了以对象类型和异常语句为主的Java语言的语义特征。

关键词：指称语义 Java 面向对象

在线全文

学校读者我要写书评

暂无评论

PROLOG的指称语义和操作语义

计算机科学 1990年第4期17卷 30-37页

作者： Saumya K.Debray Prateek Mishra 戴敏

PROLOG程序的语义通常是根据一阶逻辑的模型论给出的。但是,这并不足以刻划PROLOG程序的计算特性。PROLOG的实现主要采用了以程序中子句和字面的正文出现次序为基础的顺序计算策略,并用到诸如“Cut”之类的非逻辑成份。在本文中提出了... 详细信息

PROLOG程序的语义通常是根据一阶逻辑的模型论给出的。但是,这并不足以刻划PROLOG程序的计算特性。PROLOG的实现主要采用了以程序中子句和字面的正文出现次序为基础的顺序计算策略,并用到诸如“Cut”之类的非逻辑成份。在本文中提出了一种指称语义,它能刻划PROLOG的计算特性。我们给出了不含“Cut”的PROLOG的语义,然后,将其推广到含“Cut”的pROLOG。在两这情况下,我们分别证明了该语义与标准操作式解释程序的等价性。作为这一指称语义的应用,还证明了有关PROLOG程序变换的一些标准的“常用”定理的正确性。

关键词： PROLOG语言指称语义操作语义