abstract reduction machine

基本解釋

[計算機科學技術]抽象圖歸約機

專業(yè)釋義

計算機科學技術

抽象圖歸約機
The aim of designing SFCM is to integrate func- tion programming language and logic programming language on the abstract reduction machine.
函數(shù)程序設計語言CD-FFP2的抽象圖歸約機的發(fā)展。我們設計SFCM的目的是為了使函數(shù)和邏輯語言在抽象機這一層次上統(tǒng)一起來。