公理语义

作品数：9被引量：10H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：袁崇义刘小平魏振春韩江洪陆阳更多>>
相关机构：大连理工大学南京大学北京大学合肥工业大学更多>>
相关期刊：《科技资讯》《计算机工程与应用》《计算机科学与探索》《软件学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划教育部“新世纪优秀人才支持计划”国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Java语言的类和多态性的公理语义被引量：1
《信息技术与信息化》2015年第12期97-99,共3页唐月 
Java语言是计算机语言程序中的一种,本文对Java语言的类别进行介绍,并对其多态性的公理语义进行分析和探究,从而给Java语言的相关编译人员的工作提供一定的借鉴。
关键词：JAVA语言 类和多态性 公理语义 
一种面向非干扰的线程程序逻辑被引量：1
《软件学报》2014年第6期1143-1153,共11页李沁 曾庆凯 袁志祥 
国家自然科学基金(61170070;90818022;61321491);国家科技支撑计划(2012BAK26B01);国家高技术研究发展计划(863)(2011AA1A202)
目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可...
关键词：非干扰 动态作用域线程 公理语义 
谈形式语义学
《科技资讯》2010年第34期170-170,共1页陈月霞 
形式语义学是以数学为工具,利用符号和公式,精确地定义和解释计算机程序设计语言的语义。形式语义学可分为四大类,本文对这四类形式的语义学作了阐述,并提出了发展形式语义学的迫切性。
关键词：形式语义学 操作语义 指称语义 代数语义 公理语义 
一种基于规则的语言的公理语义被引量：2
《计算机工程与应用》2008年第20期86-88,共3页魏振春 韩江洪 陆阳 刘小平 
国家教育部博士点基金(the Fund for the Doctoral Program of the Ministry of Education of China under Grant No.20050359004);国家教育部新世纪优秀人才计划项目(the New Century Excellent Talent Foundation from MOE of China under Grant No.NCET-04-050562);安徽省科技公关计划项目(the Key Technologies R&D Program of Anhui Province, China under Grant No.06012069B)
为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言(LRDL)。用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程...
关键词：规则 逻辑规则描述语言 公理语义 HOARE逻辑 形式语法 
赋值:物理对象上的操作(英文)被引量：5
《计算机科学与探索》2008年第5期487-499,共13页袁崇义 
the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312004,2002CB312006;the National High-Tech Research and Development Plan of China under Grant No.2006AA04A119,2006AA01Z160~~
研究了命令式程序的形式语义。赋值被看成当作物理对象的变量上的操作。变量x一方面是个可以容纳数据值的物理对象,另一方面当它出现在数学表达式中时又代表它所容纳的值。作为物理对象,变量x允许它的值用读/写操作来观察或改变,读操作...
关键词：赋值 命令式程序 物理对象 物理对象上的操作 操作公理 公理语义 
C语言的公理语义(Ⅱ)──函数
《绍兴文理学院学报（哲学社会科学版）》1996年第6期68-71,共4页游功强 
从公理语义的角度，讨论C语言的重要机制─—函数─—的语义。
关键词：形式参数 实在参数 函数 公理语义 递归函数 
从公理语义看UNITY模型和GAMMA模型的关系
《中国科学技术大学学报》1996年第4期450-455,共6页林洪 陈国良 
国家自然科学基金
ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型上去．基于上述语义规范，给出一个将ＵＮ...
关键词：公理语义 程序变换 UNITY模型 GAMMA模型 
C语言的公理语义(1)──控制结构被引量：1
《绍兴文理学院学报（哲学社会科学版）》1995年第6期32-35,共4页游功强 
由于篇幅的缘故，本义从公理语义的角度主要讨论了C语言的流程控制结构的语义，而关于该语言的函数和对象的公理语义将在后续的各文章中陆续给出。
关键词：Hoare公理系统 C语言的控制结构 公理定义 
不确定程序的公理语义
《郑州大学学报（自然科学版）》1994年第1期37-40,共4页陈国勋 
河南省自然科学基金资助项目
利用部分可加范畴理论及方法，我们证明了不确定程序部分正确性推理规则的合理性．
关键词：不确定程序 公理语义 部分可加范畴 部分正确性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部