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 表达式的抽象算法,是函数式语言实现的理论基础。