abstractive algorithm
基本解釋
- [計算機科學(xué)技術(shù)]抽象算法
專業(yè)釋義
- 抽象算法
C-T-ABS abstractive algorithm transforms λ-expression to SKI-expression,which is the theoretical foundation of functional programming language implementation.
ABSTRACT,C-T-ABS 是把λ表達式轉(zhuǎn)換成SKI 表達式的抽象算法,是函數(shù)式語言實現(xiàn)的理論基礎(chǔ)。