论文部分内容阅读
本文介绍了程序理解的相关概念,讨论了程序理解所面对的问题及其原因,然后介绍了能够解决这些问题的新的编程方法—文字编程;给出了一个简短的文字程序示例来展示文字编程方法对程序理解的支持;最后提出了针对文字程序提高理解效率的一种扩展方法.
一种支持程序理解的扩展表示方法
【摘 要】
：
本文介绍了程序理解的相关概念,讨论了程序理解所面对的问题及其原因,然后介绍了能够解决这些问题的新的编程方法—文字编程;给出了一个简短的文字程序示例来展示文字编程方
【机 构】
：
山东大学计算机科学技术学院(山东济南)
【出 处】
：
2003'全国软件与应用学术会议
【发表日期】
：
2003年期
其他文献
本文主要论述了C++引入名字空间后在接口封装手段上的变化,这类变化为构件化的程序设计提供了基础支持.基于对这些变化的理解,本文简要介绍了新的提取出程序的逻辑和物理结构
本文结合数据流和频繁模式挖掘本身的特性,提出了一个启发式分段求解方法.该方法将数据流分成不同的段,利用Hoeffding Bound估算满足求解结果精度的段长度,通过逐段的迭代进
本文提出一种针对时间序列数据流中历史数据的存储管理问题以及实现高效实时查询问题的解决方法.基本思想是首先对最新产生的历史数据实施抽样;然后把抽样后得到的数据结果集
现阶段,国内较为成熟的互联网企业主要采取的整体架构为前、中、后模式的业务平台;在构建综合能源服务平台时,研发人员也可以对互联网企业的成熟架构进行借鉴.本文将对综合能
国际理解是现代学生发展的核心素养之一.成都市青羊区通过课题研究与实践,探索基础教育阶段学生国际素养培养的有效路径与方法——学科渗透,在学科教学中有机渗透国际理解教
软件在安全临界系统中起着日益重要的作用,如何提高软件系统的可靠性是一个广泛研究的课题,形式方法是一种基于数学的软件开发方法,它能减少软件开发过程中错误,从而提高安全
基于Tableau方法的z规格说明求精以定理证明为基础,将从规格说明得到程序的过程看作是一个定理证明的过程,如果这个证明存在,那么从证明中可抽取出一个满足该程序规格说明的
本文介绍的系统实现的数据挖掘的可视化基于一个开放式数据挖掘系统—TETRIS,该系统完成服务整合的数据挖掘任务,作为一个完整的数据挖掘系统,可视化部分成为这个系统图形化
随着我国社会形势的高速发展,政府所面临的政治事务也逐渐繁杂.新形势下的挑战及要求也必定会淘汰政府传统以往的政策方向与治理水平,因此在这样的实际情况下,则需要积极推进
信息时代的变迁和网络技术的发展让人们的生活发生了巨大的变化,同时对社会整体的发展也产生了不同的影响,计算机网络技术的应用在人们生活中提供快捷和方便的同时,也在威胁