• 抽象图归约机 - 引用次数：4

  The aim of designing SFCM is to integrate func- tion programming language and logic programming language on the abstract reduction machine.

  函数程序设计语言CD-FFP2的抽象图归约机的发展。 我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上统一起来。

  参考来源 - SFCM:支持逻辑程序设计语言S

·2,447,543篇论文数据，部分数据来源于NoteExpress