奇客生活牛津词典

abstract reduction machine

A 开头单词

基本解释

  • [计算机科学技术]抽象图归约机

专业释义

    计算机科学技术

  • 抽象图归约机

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