随着信息技术的迅速发展,人们对于软件功能和开发效率的要求与日俱增。程序合成旨在自动生成满足给定规约的程序,作为应对该挑战的......

本文提出应该根据函数调用形式来决定如何使用程序变换技术,并且提出一个算法来实现对函数调用形式的静态分析及其相应的程序变换.......

函数式程序的离散式延迟输入输出流廖湖声，吴晶（北京工业大学计算机学院北京１０００４４）ＡＤＩＳＣＲＥＴＥＬＡＺＹＳＴＲＥＡＭＦＯＲＩＮＰＵＴＡＮＤＯＵＴＰＵＴＩＮＦＵＮＣＴＩＯＮＡＬＬＡＮＧＵＡＧＥＳ￥ＬｉａｏＨｕｓｈｅｎｇａｎｄＷｕＪｉｎｇ（Ｃｏｍ.........

由于函数式程序设计与传统程序设计的风格不同,从而程序的调试和跟踪方法也存在很大的差异。本文着重介绍了函数式程序的调试和跟......

针对函数式程序模板元编程的通用性问题,以应用类型系统ATS(Applied Type System)为例,提出了一种基于元建模的模板元编程实现方法......

John Backus 是计算机科学界的知名人士,他对现代程序设计语言及其形式语法定义有着划时代的贡献。他是 Fortran 和 ALGOL 语言的......