过程式语言

作品数：15被引量：8H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘磊金成植郑晓娟王征海王丽娜更多>>
相关机构：吉林大学东北师范大学教育部山西煤炭管理干部学院更多>>
相关期刊：《电子科技文摘》《计算机学报》《山东师范大学学报（自然科学版）》《延边大学学报（自然科学版）》更多>>
相关基金：国家高技术研究发展计划国家教育部博士点基金黑龙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模型面向过程式语言切片工具的实现
《辽宁省交通高等专科学校学报》2013年第1期17-21,共5页李天慧 
本文以一种自定义的小型面向过程式语言(Similar C Language,简称SCL)作为实验语言,在图论和编译技术的基础上,提出了一种分层次切片面向过程式程序的新方法,描述了实现SCL语言切片工具的完整方案。
关键词：程序切片 分层次切片 SCL语言 切片工具 
过程式语言操作语义教学演示系统的设计与实现
《计算机应用与软件》2010年第7期187-189,232,共4页王丽娜 郑晓娟 王征海 
定义一个面向过程的程序设计语言,并实现了该语言操作语义的可视化演示。系统提供单步执行、连续执行两种执行方式,显示了操作语义的每一步执行。系统可以应用于教学当中,作为辅助教学工具,辅助教师进行课堂教学,为学生自主学习提供良...
关键词：过程式语言 操作语义 可视化演示系统 
应用ANTLR实现过程式语言操作语义的动态演示
《计算机应用与软件》2010年第2期209-211,257,共4页王丽娜 郑晓娟 王征海 
介绍了一个面向过程语言的文法特点,应用ANTLR实现了该语言操作语义的动态演示,系统可辅助教师进行课堂教学,为学生自主学习提供良好的支撑环境,从而用形象的图形界面为学生搭起通向掌握抽象思维方法的桥梁。
关键词：过程式语言 ANTLR 操作语义 动态演示系统 
面向对象编程基本思想被引量：3
《山西煤炭管理干部学院学报》2002年第3期67-68,70,共3页吴华 
面向对象程序设计方法比传统的过程式程序设计有很多优势。在 90年代 ,面向对象编程方法已成为主流 ,C + +、Java等著名的面向对象程序设计语言得到了非常广泛的应用。笔者在教学中体会到 ,如果先介绍一些面向对象编程的基本思想 ,可以...
关键词：面向对象编程 程序设计 继承 设计方法 编程语言 过程式语言 
过程式语言中递归的消除
《延边大学学报（自然科学版）》2001年第4期271-273,共3页郭德贵 陈慧 
尾递归化是程序分析中的一个基本方法 ,通过对过程式语言中递归函数尾递归化几个特殊方法的比较分析 。
关键词：递归 尾递归 Cooper函数 过程式语言 
其它软件技术
《电子科技文摘》2000年第4期111-112,共2页
Y2000-62082-327
关键词：软件技术 多媒体 系统设计研究 存储器组织 计算机研究 部分求值 软件工程化 过程式语言 可视化 软件可靠性 
过程式语言部分求值循环展开的有效处理方法被引量：1
《计算机研究与发展》2000年第1期102-108,共7页赵东范 刘磊 宋力彤 
文中基于数据流分析（ＤＦＡ）技术，通过引进循环中变量之间的相互依赖关系，提出一种过程式语言部分求值的处理方法．
关键词：程序分析 部分求值 过程式语言 循环展开 
基于时迹的指称语义方法
《山东师范大学学报（自然科学版）》1999年第4期448-450,共3页华凡 王岩冰 
采用基于时迹的双层指称语义框架讨论过程式语言的形式语义。
关键词：时迹 指标语义法 过程式语言 形式语义 
过程式语言到函数式语言的抽象方法被引量：1
《计算机学报》1997年第8期731-736,共6页金成植 刘磊 
本文给出了从过程式程序到函数式程序的转换规则，这些转换规则是从语言的接续指称语义推导出来的．我们考虑了ＧＯＴＯ语句的处理，因此，我们的方法可以处理非结构化程序．由于这些转换规则是从指称语义导出的，其正确性得到了保证．
关键词：过程式语言 函数式语言 目录代码 
嵌套型过程式语言的过程提升技术
《小型微型计算机系统》1995年第12期12-17,共6页刘磊 粱建华 金成植 
嵌套型过程式语言的过程提升对于程序变换和提高程序目标代码的效率等方面有着重要的意义。本文提出了一种基于字符串的过程提升技术，该技术的特点是占用空间小，转换速度快，从而使在具体系统中由于空间原因不可能的成为完全可能。我...
关键词：过程提升 嵌套型 过程式语言 程序语言 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部