一、前言文献[1]为函数程序设计语言FP奠定了合成逻辑基础,证实了“FP是一种高级的合成逻辑”. 至于FFP与合成逻辑的关系,文献[2]论述了“基本合成子I,S,K能够被定义成FFP中 ...
確定! 回上一頁