abstract reduction machine
基本解释
- [计算机科学技术]抽象图归约机
专业释义
- 抽象图归约机
The aim of designing SFCM is to integrate func- tion programming language and logic programming language on the abstract reduction machine.
函数程序设计语言CD-FFP2的抽象图归约机的发展。 我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上统一起来。