Coq主要是用来辅助对程序定理进行证明的非常强大的工具,Alpha语言以及AlphaZ工具主要是一款函数式编程语言,用于自动生成硬件语言VHDL程序,以及帮助程序能够更好的并行执行,提高程序的执行效率。我负责其中的一小部分的开发和维护等研究工作。...
AlphaZ is an open source tool-set for program analysis, transformation and parallelization in the Polyhedral Equational Model. It is being developed by the Mélange group (See schedule) at CSU, and uses an equational language called Alpha/Alphabets....
AlphaZ is an open source tool-set for program analysis, transformation and parallelization in the Polyhedral Equational Model. It is being developed by the Mélange group (See schedule) at CSU, and uses an equational language called Alpha/Alphabets....
AlphaZ is an open source tool-set for program analysis, transformation and parallelization in the Polyhedral Equational Model. It is being developed by the Mélange group (See schedule) at CSU, and uses an equational language called Alpha/Alphabets....