abstractive algorithm
基本解释
- [計算機科學技術]抽象算法
专业释义
- 抽象算法
C-T-ABS abstractive algorithm transforms λ-expression to SKI-expression,which is the theoretical foundation of functional programming language implementation.
ABSTRACT,C-T-ABS 是把λ表達式轉換成SKI 表達式的抽象算法,是函數式語言實現的理論基礎。