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?


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


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 post / 0 new
For more complete information about compiler optimizations, see our Optimization Notice.