函数程序代数理论研究

---

计算机程序语言的基础研究。

由上海交通大学和中国科学技术大学孙永强、叶志江研究。70年代末发展起来的FP程序语文，具有良好的代数性质。函数代数理论，对于探索新的程序语言及其相应的计算机系统结构、提高软件产量和质量等方面均有重要影响。

该项研究，提出了一系列新的概念和方法，克服了概念上和数学上的很多困难，使函数代数理论的研究从原来局限于线性函数方程和范围很狭的一类非线性函数方程拓广到了包括线性方程在内的非线性方程和方程组，并相应地研究了求解的机械展开算法，使这一理论最终得以在计算机上实现。

应用该理论，对大规模集成电路的设计及其验证进行了研究，显示出它具有很多优越性和潜在的广泛应用价值，被认为是这一领域的新的研究方法。该项研究曾获1987年国家自然科学三等奖。