法国Inria Alpha,Coq工具

人工智能-其他 张亮聪

Coq主要是用来辅助对程序定理进行证明的非常强大的工具,Alpha语言以及AlphaZ工具主要是一款函数式编程语言,用于自动生成硬件语言VHDL程序,以及帮助程序能够更好的并行执行,提高程序的执行效率。我负责其中的一小部分的开发和维护等研究工作。...

法国Inria Alpha,Coq工具
法国Inria Alpha,Coq工具

法国Inria AlphaZ,

人工智能-其他 张亮聪

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....

法国Inria AlphaZ,
法国Inria AlphaZ,

法国Inria Alpha,

人工智能-其他 张亮聪

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....

法国Inria Alpha,
法国Inria Alpha,

法国Inria Alpha,

人工智能-其他 张亮聪

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....

法国Inria Alpha,
法国Inria Alpha,
------ 加载完毕 ------
联系聘用方端客服