abstract reduction machine
基本解釋
- [計(jì)算機(jī)科學(xué)技術(shù)]抽象圖歸約機(jī)
專(zhuān)業(yè)釋義
- 抽象圖歸約機(jī)
The aim of designing SFCM is to integrate func- tion programming language and logic programming language on the abstract reduction machine.
函數(shù)程序設(shè)計(jì)語(yǔ)言CD-FFP2的抽象圖歸約機(jī)的發(fā)展。 我們?cè)O(shè)計(jì)SFCM的目的是爲(wèi)了使函數(shù)和邏輯語(yǔ)言在抽象機(jī)這一層次上統(tǒng)一起來(lái)。