当前位置：学术参考网 > 程序设计语言指称语义论文
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
分布式程序设计语言的指称语义陈良.(汉大学)武DENOTATIONALSEMANTPROGRAMMINGLANGUAGECR(万ENCI.SGOFD...
2009动态模糊逻辑程序设计语言的指称语义韩小芬李凡长苏州大学计算机科学与技术学院苏州215006要文献8借鉴Dijkstra的监督命令程序结构给出了动态...
本文选取C.A.R.Hoder在1978年所提出的通信的顺序进程(Communica-tingsequentialprocesses.简称CSP)作为分布式程序设计语言,给出了CSP语言的一种指称语义,同时也讨论了分...
就语言的指称语义分别讨论了智能神经网络程序设计语言NIPL中有关规则的动、静态语义,从而建立了NIPL中规则的数学模型。下载地址用户评论更多下载下载地...
收稿日期:2003-10-20;修返日期:2003-11-25基金项目:国家自然科学基金资助项目(60373110);教育部博士点基金资助项目智能神经网络程序设计语言中规则的指...
机标关键词:面向对象程序设计语言作者:卢红星学位授予单位:吉林大学授予学位:硕士学科专业:计算机系统软件导师姓名:金成植学位年度:1991语种:中文分类号:T...
论文服务:摘要:智能神经网络程序设计语言NIPL是应用智能神经网络系统理论、开发智能神经网络应用系统的有力工具。着重讨论了NIPL中有关规则的指称语义,从而建立了NIPL中逻...
期刊论文,形式语义研究44计算机应用研究!""4年智能神经网络程序设计语言中规则的指称语义!刘晓洁(四川大学计算机学院)*+技术中心,四川成都’%""’&)摘,要:就语言的指称语义...
CSP语言程序设计语言分布语言本文选取C.A.R.Hoder在1978年所提出的通信的顺序进程(Communica-tingsequentialprocesses.简称CSP)作为分布式程序设计语言,给出了CSP语言的...
收稿日期:2003-10-20;修返日期:2003-11-25基金项目:国家自然科学基金资助项目(60373110);教育部博士点基金资助项目智能神经网络程序设计语言中规则的指称...