程序设计语言的形式语义研究进展

来源 :上海电机学院学报 | 被引量 : 0次 | 上传用户:aeo55121890
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序设计语言形式语义描述方法的产生与发展,对程序设计语言的设计和标准化,编译程序的设计和优化,程序推理,以及协议形式化描述、分析验证与设计等都有着重要的意义。回顾形式语义描述方法的研究发展史,介绍当前主要的语义形式描述方法,并给出这些方法的评价标准和比较结果;指出最有发展潜力的语义描述方法以及将来的发展方向。
其他文献
[目的]系统分析我国非计划性拔管研究的发展态势及存在问题,为相关研究提供参考。[方法]采用文献计量学方法,构建文献评阅数据库,系统分析2006年—2016年收录在中国期刊全文
目的:探讨ABC分类法和排序分析法应用于医院药库管理工作的效果,提高药库工作效率。方法:2014年1~6月应用排序分析法管理我院药库应用HIS系统,2014年6~12月应用HIS系统,运用A
GSR无线节点采集仪器在地震勘探中显得越来越重要。本文通过对影响检波器串阻抗值的因素进行详细的分析,来最终确立GSR无线节点检波器串的阻抗值模型。
饮食是营养管理的重要组成部分,营养科作为医院的"第二药房"有着至关重要的作用。文章主要介绍了营养科的治疗饮食管理,并对其在医院集体饮食中的监管作用进行了分析,提倡合
"非专业能力"不仅是大学生能力的重要组成部分,还是社会工作人员职业能力的重要组成部分,"非专业能力"的培养将直接影响到人才培养的质量,大学生"非专业能力"的培养是社会发
油菜属十字花科(Cruciferae)芸薹属(Brassica),是我国重要的油料作物之一。随着国际竞争日趋激烈,我国油菜生产还面临许多挑战,高含油率油菜种植资源尤为稀缺。长调节因子生(growt
新现实环境的变化正在对传统的战略管理模式提出挑战.战略生态管理是适应21世纪战略管理的新范式,其主要实质是使企业与利益相关者群体建立一种和谐共生的关系.战略生态管理
为进一步规范政府办赛行为,避免举办大型体育赛事的低效性,通过采用文献资料法、逻辑分析法、专家访谈法等研究方法,对近年来我国大型赛事举办中存在的社会问题进行概化和成
小G蛋白Rho家族是一类能结合GTP的蛋白质,在细胞信号传导通路中发挥着"分子开关"的作用,能通过下游蛋白产生多种生物学效应.肌动蛋白细胞骨架是维持细胞形态,介导真核细胞必
期刊