Q&A: Forte3 and ReFLect programming language

Q&A: Forte3 and ReFLect programming language

Bild des Benutzers Intel Software Network Support

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 Beitrag / 0 neu
Nähere Informationen zur Compiler-Optimierung finden Sie in unserem Optimierungshinweis.