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的目的是爲了使函數和邏輯語言在抽象機這一層次上統一起來。