Haskell相关论文
程序切片是一种重要的程序分析理解方法，用于从源程序中抽取对程序中特定点上的特定变量有影响的语句和谓词，组成新的程序(称作切片)......
软件测试作为软件开发过程中的重要一环，对于保障软件质量起着至关重要的作用，而测试数据生成方法的J下确性和有效性，又是一个成功测......
闭半环是在半环上添加了传递闭包运算符而得到的代数结构.闭半环为计算机科学理论中多个看起来不相关的问题提供了统一的求解理论......
