topic Q&A: Forte3 and ReFLect programming language in Software Archive https://community.intel.com/t5/Software-Archive/Q-A-Forte3-and-ReFLect-programming-language/m-p/863398#M7795 <P><SPAN style="font-family: Arial; color: #000080; font-size: x-small;">A developerquestion received by Intel Software Network Support:</SPAN></P> <P><SPAN style="font-family: Arial; color: #000000; font-size: x-small;"><B>Q.</B> Where can I find information about FORTE3 andthe reFLect programming language from Intel Strategic CAD Labs?</SPAN></P> <P><SPAN style="font-family: Arial; font-size: x-small;"><B>A.</B></SPAN></P> <P><SPAN style="font-family: Arial; font-size: x-small;">Forte3 for Linux* (marked for academic use only)can be downloaded from the Intel Software Development Products site <A href="http://www3.intel.com/cd/software/products/asmo-na/eng/219776.htm">here</A>.</SPAN></P> <P><SPAN style="font-family: Arial; font-size: x-small;">A 2006 paper entitled <I>A Reflective Functional Language for Hardware Design and Theorem Proving</I>,by members of Intel Strategic CAD Labs and Oxford University Computing Laboratory, can be found ontheOxford UniversityWeb site<A href="http://web.comlab.ox.ac.uk/oucl/work/tom.melham/pub/Grundy-2006-RFL.pdf">here</A>*. It discusses the ReFLect programming language at length.</SPAN></P> <P><SPAN style="font-family: Arial; font-size: x-small;">(This note was last edited in August 2009.)<BR /></SPAN></P> <P><SPAN style="font-family: Arial; font-size: x-small;">==</SPAN></P> <P class="MsoNormal" style="MARGIN: 0in 0in 0pt"><SPAN style="FONT-SIZE: 10pt; COLOR: black; FONT-FAMILY: Arial">Lexi S.</SPAN><SPAN style="FONT-SIZE: 11pt; COLOR: black; FONT-FAMILY: Arial"><P></P></SPAN></P> <P class="MsoNormal" style="MARGIN: 0in 0in 0pt"><SPAN style="FONT-SIZE: 10pt; COLOR: black; FONT-FAMILY: Arial">IntelSoftware NetworkSupport</SPAN><SPAN style="FONT-SIZE: 11pt; COLOR: black; FONT-FAMILY: Arial"><P></P></SPAN></P> <P class="MsoNormal" style="MARGIN: 0in 0in 0pt"><SPAN style="FONT-SIZE: 10pt; COLOR: black; FONT-FAMILY: Arial"><A href="http://www.intel.com/software">http://www.intel.com/software</A> </SPAN><SPAN style="FONT-SIZE: 11pt; COLOR: black; FONT-FAMILY: Arial"><P></P></SPAN></P> <P class="MsoNormal" style="MARGIN: 0in 0in 0pt"><SPAN style="FONT-SIZE: 10pt; COLOR: black; FONT-FAMILY: Arial"><A href="http://www.intel.com/cd/ids/developer/asmo-na/eng/58987.htm">Contact us</A></SPAN><SPAN style="FONT-SIZE: 11pt; COLOR: black; FONT-FAMILY: Arial"><P></P></SPAN></P> <P><SPAN style="font-family: Arial; font-size: xx-small;">*Please note that these links will take you to external web sites. Intel is not responsible for content or availability of these sites.</SPAN></P> Wed, 09 May 2007 17:09:44 GMT Intel_Software_Netw1 2007-05-09T17:09:44Z Q&A: Forte3 and ReFLect programming language https://community.intel.com/t5/Software-Archive/Q-A-Forte3-and-ReFLect-programming-language/m-p/863398#M7795 <P><SPAN style="font-family: Arial; color: #000080; font-size: x-small;">A developerquestion received by Intel Software Network Support:</SPAN></P> <P><SPAN style="font-family: Arial; color: #000000; font-size: x-small;"><B>Q.</B> Where can I find information about FORTE3 andthe reFLect programming language from Intel Strategic CAD Labs?</SPAN></P> <P><SPAN style="font-family: Arial; font-size: x-small;"><B>A.</B></SPAN></P> <P><SPAN style="font-family: Arial; font-size: x-small;">Forte3 for Linux* (marked for academic use only)can be downloaded from the Intel Software Development Products site <A href="http://www3.intel.com/cd/software/products/asmo-na/eng/219776.htm">here</A>.</SPAN></P> <P><SPAN style="font-family: Arial; font-size: x-small;">A 2006 paper entitled <I>A Reflective Functional Language for Hardware Design and Theorem Proving</I>,by members of Intel Strategic CAD Labs and Oxford University Computing Laboratory, can be found ontheOxford UniversityWeb site<A href="http://web.comlab.ox.ac.uk/oucl/work/tom.melham/pub/Grundy-2006-RFL.pdf">here</A>*. It discusses the ReFLect programming language at length.</SPAN></P> <P><SPAN style="font-family: Arial; font-size: x-small;">(This note was last edited in August 2009.)<BR /></SPAN></P> <P><SPAN style="font-family: Arial; font-size: x-small;">==</SPAN></P> <P class="MsoNormal" style="MARGIN: 0in 0in 0pt"><SPAN style="FONT-SIZE: 10pt; COLOR: black; FONT-FAMILY: Arial">Lexi S.</SPAN><SPAN style="FONT-SIZE: 11pt; COLOR: black; FONT-FAMILY: Arial"><P></P></SPAN></P> <P class="MsoNormal" style="MARGIN: 0in 0in 0pt"><SPAN style="FONT-SIZE: 10pt; COLOR: black; FONT-FAMILY: Arial">IntelSoftware NetworkSupport</SPAN><SPAN style="FONT-SIZE: 11pt; COLOR: black; FONT-FAMILY: Arial"><P></P></SPAN></P> <P class="MsoNormal" style="MARGIN: 0in 0in 0pt"><SPAN style="FONT-SIZE: 10pt; COLOR: black; FONT-FAMILY: Arial"><A href="http://www.intel.com/software">http://www.intel.com/software</A> </SPAN><SPAN style="FONT-SIZE: 11pt; COLOR: black; FONT-FAMILY: Arial"><P></P></SPAN></P> <P class="MsoNormal" style="MARGIN: 0in 0in 0pt"><SPAN style="FONT-SIZE: 10pt; COLOR: black; FONT-FAMILY: Arial"><A href="http://www.intel.com/cd/ids/developer/asmo-na/eng/58987.htm">Contact us</A></SPAN><SPAN style="FONT-SIZE: 11pt; COLOR: black; FONT-FAMILY: Arial"><P></P></SPAN></P> <P><SPAN style="font-family: Arial; font-size: xx-small;">*Please note that these links will take you to external web sites. Intel is not responsible for content or availability of these sites.</SPAN></P> Wed, 09 May 2007 17:09:44 GMT https://community.intel.com/t5/Software-Archive/Q-A-Forte3-and-ReFLect-programming-language/m-p/863398#M7795 Intel_Software_Netw1 2007-05-09T17:09:44Z