Q&A: Forte3 and ReFLect programming language

Q&A: Forte3 and ReFLect programming language

A developerquestion received by Intel Software Network Support:

Q. Where can I find information about FORTE3 andthe reFLect programming language from Intel Strategic CAD Labs?

A.

Forte3 for Linux* (marked for academic use only)can be downloaded from the Intel Software Development Products site here.

A 2006 paper entitled A Reflective Functional Language for Hardware Design and Theorem Proving,by members of Intel Strategic CAD Labs and Oxford University Computing Laboratory, can be found ontheOxford UniversityWeb sitehere*. It discusses the ReFLect programming language at length.

(This note was last edited in August 2009.)

==

Lexi S.

IntelSoftware NetworkSupport

http://www.intel.com/software

Contact us

*Please note that these links will take you to external web sites. Intel is not responsible for content or availability of these sites.

1 条帖子 / 0 全新
如需更全面地了解编译器优化,请参阅优化注意事项