一种面向Pascal的程序维护语言及其应用

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:yy20090907
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
PML/Pascal 是我们研制的一个面向Pascal 的程序维护语言,用于描述Pascal 程序中各实体标识符的定义与使用情况。本文主要介绍PML/Pascal 的设计思想、程序结构与设施以及生成工具,最后讨论它与Pascal 程序结构语言之间的关系。
其他文献
据新华社讯 日本早稻田大学等机构日前公开展示了一种新型护理机器人,它可以完成帮助人起床、准备早餐等工作。主要是针对高龄人群设计,也可以为残疾人服务。
本刊讯 据新华社11月11日消息,日本山口大学副教授羽田野袈裟正在研究一种新型海浪发电装置,这种装置利用海浪的起伏运动带动发电机发电。 据日本新闻媒体报道,这种装置名叫
本文详细分析了ORACLE 关系数据库管理系统如何管理外存空间。ORACLE 存储管理的特点之一是所有外存空间由ORACLE 统一管理。本文在剖析ORACLE 存储结构的基础上,揭示了ORACL
由于FFP语言中存在着非严格(non-strict)函数,所以用紧迫计算(eager evaluation)方式计算非严格函数,不仅降低了执行效率,而且还可能导致计算失败.为此,本文又提出了几个在FC
本文提出一种全新的,可推广至一般二次曲面的旋转抛物面实时成象的等灰曲度线算法。这种算法只需绘出旋转抛物面上的漫反射和镜面反射等灰度曲线组,就能得到具有高度真实感的旋转抛物面图像。这种算法的计算量远远小于传统的逐点计算灰度法,并且适于用并行流水硬件结构实现。理论分析和软件仿真证明:这种算法非常适合于二次曲面实时成象。
江泽民同志关于"三个代表"的重要思想,是新世纪全面加强党的建设的伟大纲领.这一思想集中论述了党的先进性,其精神实质就是要紧紧把握时代的脉搏,与时俱进,始终站在时代潮流
目的分析与探讨经阴道和腹部超声诊断子宫腺肌症的临床应用价值。方法选取90例2013年1月至2014年7月在我院接受治疗的子宫腺肌症患者,对其实施腹部超声与阴道超声检查,对比两
目前,大学生的思想道德主流是积极、健康、向上的;但由于当前各种社会思潮和社会上的思想道德观念多元化的影响,不可避免地对青年学生的立场和观念产生了冲击.笔者在分析了当
中央召开思想政治工作会议给加强和改进高校思想政治工作提供了很好的契机,江泽民同志在会上的重要讲话论述精辟,思想深邃,对加强和改进高校思想政治工作具有重要指导意义.面
基于知识的人机交互系统,是当前人机接口发展的一个新方向。这类接口通过使用各种知识来协调用户和系统的交互,增强了接口的灵活性、友善性和可适应性.本文综述了人机接口方