阿尔法

Alpha是一种函数式语言,用于表达规则算法、综合常规体系结构或从高级规范编译为顺序或并行计算机。算法是由多维域上定义的变量的方程来描述的。通过连续的转换(例如统一化、并行化),描述被细化到可以被解释为一个体系结构。然后,这种描述可以转化为逻辑综合工具,以生成VLSI架构。或者,不同的分析(调度、生存期等)可以指导通用(顺序或并行)处理器向命令循环代码的转换。这个基本方案允许我们研究许多重要的研究课题(并行化、代码生成、语言语义、凸多面体演算、抽象和非标准解释、程序验证、优化、体系结构综合、VLSI、FPGA、脉动阵列等)。