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

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

TSR程序的驻留及其撤离

通过分析MCB链结构、TSR程序驻留及其撤离应考虑的问题，提出了一种安全性、可移植性和可操作性较好的TSR程序设计思路。     

同步FTP上载/下载程序的实现技术

通常意义上的FTP客户程序都是指纯粹的异步上载／下载程序，但在实际应用开发中。FTP功能往往需要与特定的应用相结合。对于某些特殊的应用。通常的异步FTP程序设计方法不适用系统的需求。需要设计同步的FTP上载／下载程序。但开发工具如VB不提供直接的同步FTP支持。本文结合实际的系统开发，探讨了在特定应用中实现同步FTP上载／下载程序的方法和技术。     

自动按幅面要求编排打印程序清单

本文提供一个能自动按幅面大小编排打印源程序清单的BASIC程序,不但简单快速,而且在改排以后能保持幅面的整齐与语句的可读性。利用BASIC语言较强的打印功能,还可以选择不同的字体打印标题、正文和注释等。     

基准程序法

本文系统地介绍了基准程序测试法经历了三十多年的发展历史.基准程序法从早期仅仅面向CPU的评价发展到如今对整个系统的评价,并且和计算机的发展密切相关.编译程序,操作系统和体系结构的发展提高了计算机的性能,作为评价方法的基准程序法也相应地发展.对目前广泛应用的工作站和联机事务处理系统的评价,基准程序法也进行了尝试.远程终端仿真器RTE的引入使得基准程序测试活动领域的进展更为迅速.     

一种基于程序正确性证明理论的程序开发方法

程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发和证明同时进行,程序开发完成的同时其正确性亦得以保 证,以两个问题的程序开发为例说明了程序的形式推导方法的使用。     

同步FTP上载／下载程序的实现技术

通常意义上的FTP（文件传输协议）客户程序都是指纯粹的异步上载／下载程序，但在实际应用开发中，FTP功能往往需要与特定的应用相结合，对于某些特殊的应用，通常的异步FTP程序设计方法不适用系统的需求，需要设计同步的FTP上载／下载程序，但开发工具如VB不提供直接的同步FTP支持。文章结合实际的系统开发，探讨了在特定应用中实现同步FTP上载／下载程序的方法和技术。     

恢复BASIC程序的方法

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

固化程序加密的一种简易方法

目前，微型计算机测控系统的软件大多数仍采用汇编语言编写，再用汇编系统汇编成目标码，按地址顺序固化在只读存储器EPROM中，然后根据程序计数器中的地址读取只读存储器EPROM中的操作码和操作数，使程序正常运行。采用这种常规的方法固化程序，目标码在只读存储器EPROM中按地址顺序排列，只要破译者能够获得只读存储器中的目标码，再进行反汇编，即可得到它的源程序，从而达到破译之目的。为了防止上述情况发生，可以事先将目标码程序按照某种规律重新排列，然后再固化到只读存储器EPROM中。这样即使对该目标码程序进行反汇编，其…     

常驻内存程序及其驻留方法

本文通过对常驻内存程序的实质分析,揭示了这类程序的基本组成和特性,比较全面地论述了实现常驻内存程序的引导驻留、常用驻留和通过修改内存块控制链的驻留方法,给出具体实现算法和程序。     

Datalog程序的正规变换及其实现

文中提出了Ｄａｔａｌｏｇ程序的正规变换，并构造了Ｄａｔａｌｏｇ程序的约束模型图，从而把正规变换的求解转化为对约束模式图的搜索。约束模式图搜索算法与经典的ＡＯ＾＊搜索算法及相关文献中的算法相比具有更高的效率。