递归程序变换及其实验

递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。     

结构程序系统及其复杂程度的描述

本文提出了结构程序和结构程序系统的严格定义.系统地论述了它们的层次结构.并在此基础上研究了它们的复杂程度的数学描述问题,给出了一些对软件设计具有指导意义的公式.     

程序灯光控制系统

用软件控制的灯光系统，能从多方面实施全自动的控制，轻而易举地获得成千上万种花样。     

用PCFORTRAN实现的演示程序

本文介绍了用PC FORTRAN编写演示程序的方法,给出了演示程序的实例。     

关于横向程序变换的若干研究

本文对我们近几年来在递归程序等价变换方面之一系列研究工作做了分类总结,所提出的一些新变换模式和技术进一步丰富了人们对横向程序变换技术的认识。 软件自动化是计算机科学的前沿课题之一,其主要研究途径有:演绎综合途径、程序变换途径、实例推广途径和过程化途径,其中尤以程序变换途径得到研究工作者更多的关注。程序变换大体上可分为横向变换和 纵向变换两大类,所谓横向变换是指在相似的抽象级上将一个语言成分转化为另一个与之等价但效率更高的语言成分。 横向程序变换的研究可追溯到1966年Cooper首次提出的Cooper变换,而英国爱丁堡大学的Burstall和Darlington的研究以及他们所研制的ZAP系统是目前这方面最有代表性的工作。 本文对横向程序变换作了较深入的探讨,其中有相当多一部分递归程序等价变换模式是笔者及其同事们近几年来陆续提出的。 我们将采用函数式递归程序模型作为讨论的基础(参阅[12]之第七章),并把递归程序变换模式分成若干类型加以阐述,限于篇幅,我们只简要叙述各类变换的输入模式、输出模式、可用性条件和应用示例,有关变换的正确性证明(采用结构归纳法)将不在此列出(感兴趣的读者可参阅有关文献)。     

基于程序流程图的数据例化与程序例化

提出了一基于程序流程图的部分求值方法,通过采用基于程序流程图的数据例化和面向程序基本块的程序例化,能够在例化阶段进行程序基本块例化的同时,完成控制转移的优化,并生成既可用于编译时刻例化,又可用于运行时刻例化的滞留程序,基于这种方式的部分求值系统采用离线工作方式,利用了绑定时间分析,提高了滞留程序的效率,同时避免了例化阶段的代码复制与拼接,有效地简化了运行时刻例化系统的实现难度。     

程序复杂性度量的一种新方法

本文通过分析传统的McCabe度量方法和Halstead度量方法的不足之处,提出一种新的基于公理的测试复杂性度量方法。新的度量方法明显优于McCabe和Halstead两种方法。     

Word文档统计程序

工作中经常会遇到对Word文档或者文本文件的页数、字数等信息进行统计的工作。如果只是一两个文档,只要打开文档,点击“文件”菜单下“属性”子菜单的“统计”选项卡就可以知道有关该文档的统计信息,工作起来还是比较轻松的。但是如果文档数以百计,一个一个打开然后记录显然不可能。     

程序推导的表示

软件自动化是提高软件生产率的关键途径之一,而类比程序设计是软件自动化的一条重要途径,它的主要思想是系统地将求解一个问题的程序转化/修改为求解另一个相似但不等同的问题程序。为达到此目标,现在的共识是充分利用从规格说明到程序的推导,即所谓推导类比方法。当前,程序推导的形式化表示成为该领域研究的焦点。在定理证明领域,证明过程的表示早在1968年 de Bruijn 的工作中得到了充分重视。在他所主持的 AUTOMATH 项目中,数学定理证明过程可用一种带类型λ演算的项     

程序复杂性度量

本文力图阐明程序复杂性度量的有关定义研究内容、技术和方法，并探讨它用软件产品的质量、交付的时间和费用的关系以及它在软件开发中的作用。     

用PB编写简单的系统登录程序

最近,在开发阜新市消防支队119办公管理系统时,我用ph6.0与Microsoft Sql Server 7.0编写了一个简单的系统登录程序,不敢独享,下面就提供给大家,以供参考。 一、设计思路 在用户使用数据库系统时,往往要注册自己的登录信息,这是保证数据库系统的数据绝对安全的一个重要手段,我编写的这个系统登录程序是通过系统登录主界面w_deng_lu首先注册自己的登录信息,系统根据用户注册信息到后台Sql Server登录数据库中去查询,如果是合法用户,则打开系统的欢迎窗口w_welcome,否则用户有两次注册机会,如均非法,     

学做程序经理

指派一名优秀的程序经理,是团队产出优秀软件的重要前提之一。你的团队里可能没有这样的人,其实绝大多数团队都没有。     

写程序直至成精

老外讲“软件工匠”,“工匠”这俩字不大引得起共鸣。老外又讲“master”,还是不行,“master”是怎么回事,不太想得出来。拿中国话来说,就是,写程序直至成精。