一个基于程序变换的制表程序

本文介绍了一种报表打印程序生成系统的设计思想和实现方法。系统采用程序变换的思想,设计使用一种用来描述报表格式的报表描述语句对报表结构进行描述,由微机自动生成报表打印程序。     

程序理解

程序理解是从计算机程序中获取有关信息的过程。作为程序维护中必不可少的环节,一直受到大家的关注。结合最近比较熟门的软件重建工程,分析程序理解中出现的一些问题以及解决方案。     

递归程序变换成非递归程序的方法

本文讨论将高级语言编写的递归程序自动地变换成非递归程序的变换规则和变换算法。     

党内统计程序生成器

本文介绍作者开发的党内统计程序生成器的模型、描述语言、系统功能和结构。     

通过抽象程序证明复杂具体程序

本文描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构（ADTs）如set、list、map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系,抽象程序程序点和具体程序程序点的对应关系.基于对应关系,抽象程序和具体程序一致性证明可以分解,从而容易并可能自动证明.     

恢复BASIC程序的方法

本文简述了BASIC用户程序在内存中存在的条件及存储结构,在此基础上提出了恢复遭破坏的BASIC用户程序的方法,给出了在各种情况下恢复用户程序的实例。     

支持程序分析的C＋＋程序信息库的建立与研究

提出了一种新程序信息库的设计模式，介绍了程序信息的提取方法，建立了程序信息库CPPINFO，并通过使用实例说明了它的优点。