abstractive algorithm

基本解釋

[計(jì)算機(jī)科學(xué)技術(shù)]抽象算法

專業(yè)釋義

計(jì)算機(jī)科學(xué)技術(shù)

抽象算法
C-T-ABS abstractive algorithm transforms λ-expression to SKI-expression,which is the theoretical foundation of functional programming language implementation.
ABSTRACT,C-T-ABS 是把λ表達(dá)式轉(zhuǎn)換成SKI 表達(dá)式的抽象算法,是函數(shù)式語言實(shí)現(xiàn)的理論基礎(chǔ)。