Source-to-source compiler: Difference between revisions

Content deleted Content added
Meak (talk | contribs)
Update with the Dafny programming language (I am a Dafny contributor)
+ref
Line 18:
=== Intel CONV86 ===
{{anchor|CONV86}}
[[Intel]] marketed their 16-bit processor [[Intel 8086|8086]] to be [[source-code compatibility|source compatible]] to the [[Intel 8080|8080]], an 8-bit processor.<ref name="Scanlon_1988"/> To support this, Intel had an [[Intel ISIS-II|ISIS-II]]-based translator from 8080 to 8086 source code named CONV86<ref name="Intel_1978_CONV86"/><ref name="Intel_1979_CONV86"/><ref name="Intel_1983_ASM86"/><ref name="Nelson_1988"/> (also referred to as CONV-86<ref name="Intel_1979_Family"/> and CONVERT&nbsp;86<ref name="Freiberger_1981_Translators"/><ref name="Taylor_1982_Translators"/>) available to [[OEM]] customers since 1978, possibly the earliest program of this kind.<ref group="nb" name="NB1_WordStar"/> It supported multiple levels of translation and ran at 2&nbsp;MHz on an Intel Microprocessor Development System [[Intel MDS-800|MDS-800]] with 8-inch [[floppy drive]]s. According to user reports, it did not work very reliably.<ref name="Guzis_2013_ISIS"/><ref name="Guzis_2016_Translators"/>
 
=== SCP TRANS86 ===
Line 293:
<ref name="Olivenbaum">{{cite web |title=h5 🚀 - C# to JavaScript compiler |author=theolivenbaum |website=[[GitHub]] |date=2021-11-13 |url=https://github.com/theolivenbaum/h5 |access-date=2021-11-14}}</ref>
<ref name="C2Rust">{{cite web |title=C2Rust repository |website=[[GitHub]] |date=2022-04-15 |url=https://github.com/immunant/c2rust/blob/master/README.md}}</ref>
<ref name="Intel_1983_ASM86">{{cite book |title=ASM86 Language Reference Manual |chapter=The 8086/8087/8088 Development Environment |date=November 1983 |orig-date=September 1981 |publisher=[[Intel Corporation]] |publication-place=Santa Clara, California, USA |id=Order Number 121703-003 |pages=1-1–1-2 |url=https://mark-ogden.uk/files/intel/publications/121703-003%20ASM86%20Language%20Reference%20Manual-Nov83%23Mar85.pdf |access-date=2023-11-28 |url-status= |archive-url= |archive-date= |quote-page= |quote=}} (404 pages)</ref>
}}