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 contribution / 0 nouveau(x)
Reportez-vous à notre Notice d'optimisation pour plus d'informations sur les choix et l'optimisation des performances dans les produits logiciels Intel.