程序中表达式的副作用问题讨论

讨论函数式语言中引入赋值操作 ,表达式的副作用对程序正确性检查的影响 ,同时也讨论了强制型语言中如何克服表达式的副作用 .文中引入了良性副作用的概念 ,并对函数式语言和强制型语言中表达式副作用是否是良性的作了进一步的讨论     

基于栈操作的用例规模的一个计算公式

软件测试随着测试用例规模的增加变得十分困难,对测试用例进行研究十分必要．本文首先给出了树同构的概念,然后利用图论就栈操作的用例进行了讨论,并得到一系列有关栈操作用例的重要性质,最后对一个给定任意大小的输入序列,讨论了其各种可能的输出序列,在此基础上得到了各种可能输出序列规模的一个递推计算公式．     

一种树的存储结构

采用静态数组的方式给出树的一种存储结构,并给出这种存储结构下的几种常用运逄的Ｃ语言程序,这种存储结构避开了链式存储结构中链域个数不定的困难,容易用ＦｏｘＢＡＳＥ等关系型数据库来实现相应的运算,可以将二叉树与树统一起来处理。     

双曲型Kac-Mooky代数g(A)的某些自同构群

讨论了双曲型Kac-Moody代数保持h不变的自同构群G，对任意G．C．M矩阵A，当A为Hyp型G．C．M时，归纳得到了G的几种形态。     

由广义近似空间产生的一类拓扑空间

广义近似空间是粗糙集理论中近似空间的推广,Kondo在广义近似空间中引入了一类特殊的拓扑．作者研究了这类拓扑若干性质,包括其拓扑基、分离性及这类拓扑空间上相关映射的性质,并且证明了任何广义近似空间都可以由这类拓扑诱导出来．这对于拓扑学本身以及粗糙集理论的发展都具有一定的意义．