发表服务
ATLAS语言指称语义及程序分析技术.pdf,单位代码：10183学号：2003531011吉林大学博士学位论文郭德贵分类号C/TP31密级：公开ATLAS语言指称语义及程序分析技术DenotationalSemanticsandProgramAnalysisforATLAS郭德贵指导教师...
1刘晓洁;智能神经网络程序设计语言中规则的指称语义[J];计算机应用研究;2004年10期2章萃;赵沁平;;FP的指称语义[J];计算机应用与软件;1986年05期3韩小芬;李凡长;;动态模糊逻辑程序设计语言的指称语义[J];计算机科学;2009年01期4谭浩,李旭晖,何炎祥;一个类Java语言的指称语义[J];计算机工程与应用;2003年...
动态模糊逻辑程序设计语言的指称语义.pdf,第36卷第1期计算机科学Vol.36No.12009年1月ComputerScienceJan.2009动态模糊逻辑程序设计语言的指称语义韩小芬李凡长(苏州大学计算机科学与技术学院苏州215006)摘要文献[8...
ATLAS语言指称语义及程序分析技术.郭德贵.【摘要】：ATLAS(AbbreviatedTestLanguageforAllSystems)是一个被广泛应用于军事和电子测试的通用标准测试语言。.在国外航空航天、大型武器装备等诸多领域的ATS构建中,ATLAS被视为UUT设计的首选语言。.然而,由于ATLAS编译器...
程序设计语言理论－PCF语言－代数数据类型162.1语言简介-指称语义-2指称语义通过归纳可以定义项M在环境中的含义〖M〗〖x〗是变量x在环境中的值指称语义的一般性质YuZhang,USTC指称语义是可的(compositional).任何表达式
语法和语义是定义一个程序设计语言所涉及的两个重要侧面：语法涉及程序文法结构，研究程序设计语言所允许的成分结构形式；而语义则涉及文法上正确的程序的含义，研究语言与其所指对象间的关系。程序设计语言语义是为了指明给出程序设计语言的程序含义。
在程序统一理论的指导下,我们研究了混成建模语言HyML的指称语义以及代数语义,帮助程序开发人员从不同的角度认识理解语言,并且证明了代数语义相对于指称语义的一致性。然后给出了混成程序的规范型,并支持利用可证代数规则对程序进行简化。
形式语义通常包括操作语义、指称语义和公理语义。综合性的文献比较少，不同文献使用的符号也不统一。。比如在big-step和smallstepsemantic上，我见过的箭头：*等等。。形式语义的应用程序语言设计：自然语言…
1金成植,柴玉梅;一个面向语义的解释器自动生成技术[J];计算机学报;1993年03期2华凡,王岩冰;基于时迹的指称语义方法[J];山东师范大学学报(自然科学版);1999年04期3刘晓洁;智能神经网络程序设计语言中规则的指称语义[J];计算机应用研究;2004年10期4章萃;赵沁...
(3)的相关知识一般在Programminglanguageconcepts（国内一般叫“程序设计语言原理”或者“程序设计语言概论”）这门课上会讲，主要分为三类：(3.a)过程语义（proceduralsemantics）(3.b)指称语义（denotationalsemantics）(3.c)公理语义（axiomatic
ATLAS语言指称语义及程序分析技术.pdf,单位代码：10183学号：2003531011吉林大学博士学位论文郭德贵分类号C/TP31密级：公开ATLAS语言指称语义及程序分析技术DenotationalSemanticsandProgramAnalysisforATLAS郭德贵指导教师...
1刘晓洁;智能神经网络程序设计语言中规则的指称语义[J];计算机应用研究;2004年10期2章萃;赵沁平;;FP的指称语义[J];计算机应用与软件;1986年05期3韩小芬;李凡长;;动态模糊逻辑程序设计语言的指称语义[J];计算机科学;2009年01期4谭浩,李旭晖,何炎祥;一个类Java语言的指称语义[J];计算机工程与应用;2003年...
动态模糊逻辑程序设计语言的指称语义.pdf,第36卷第1期计算机科学Vol.36No.12009年1月ComputerScienceJan.2009动态模糊逻辑程序设计语言的指称语义韩小芬李凡长(苏州大学计算机科学与技术学院苏州215006)摘要文献[8...
ATLAS语言指称语义及程序分析技术.郭德贵.【摘要】：ATLAS(AbbreviatedTestLanguageforAllSystems)是一个被广泛应用于军事和电子测试的通用标准测试语言。.在国外航空航天、大型武器装备等诸多领域的ATS构建中,ATLAS被视为UUT设计的首选语言。.然而,由于ATLAS编译器...
程序设计语言理论－PCF语言－代数数据类型162.1语言简介-指称语义-2指称语义通过归纳可以定义项M在环境中的含义〖M〗〖x〗是变量x在环境中的值指称语义的一般性质YuZhang,USTC指称语义是可的(compositional).任何表达式
语法和语义是定义一个程序设计语言所涉及的两个重要侧面：语法涉及程序文法结构，研究程序设计语言所允许的成分结构形式；而语义则涉及文法上正确的程序的含义，研究语言与其所指对象间的关系。程序设计语言语义是为了指明给出程序设计语言的程序含义。
在程序统一理论的指导下,我们研究了混成建模语言HyML的指称语义以及代数语义,帮助程序开发人员从不同的角度认识理解语言,并且证明了代数语义相对于指称语义的一致性。然后给出了混成程序的规范型,并支持利用可证代数规则对程序进行简化。
形式语义通常包括操作语义、指称语义和公理语义。综合性的文献比较少，不同文献使用的符号也不统一。。比如在big-step和smallstepsemantic上，我见过的箭头：*等等。。形式语义的应用程序语言设计：自然语言…
1金成植,柴玉梅;一个面向语义的解释器自动生成技术[J];计算机学报;1993年03期2华凡,王岩冰;基于时迹的指称语义方法[J];山东师范大学学报(自然科学版);1999年04期3刘晓洁;智能神经网络程序设计语言中规则的指称语义[J];计算机应用研究;2004年10期4章萃;赵沁...
(3)的相关知识一般在Programminglanguageconcepts（国内一般叫“程序设计语言原理”或者“程序设计语言概论”）这门课上会讲，主要分为三类：(3.a)过程语义（proceduralsemantics）(3.b)指称语义（denotationalsemantics）(3.c)公理语义（axiomatic
发表服务