Editing IBM 801 (section)

==Recognition==
For his work on the 801, [[John Cocke (computer scientist)|John Cocke]] was awarded several awards and medals:

* 1985: [[Eckert–Mauchly Award]]<ref>{{Cite web |title=John Cocke |url=https://awards.acm.org/award_winners/cocke_2083115 |access-date=2022-08-29 |website=awards.acm.org |language=en}}</ref>
* 1987: [[A.M. Turing Award]]<ref>{{Cite web |title=John Cocke - A.M. Turing Award Laureate |url=https://amturing.acm.org/award_winners/cocke_2083115.cfm |access-date=2022-08-29 |website=amturing.acm.org}}</ref>
* 1989: [[Computer Pioneer Award]]<ref>{{Cite web |title=IEEE Computer Society Women of ENIAC Computer Pioneer Award |date=9 April 2018 |url=https://www.computer.org/volunteering/awards/pioneer |access-date=2022-08-29 |language=en-US}}</ref>
* 1991: [[National Medal of Technology]]<ref name=":0">{{Cite web|title=NSTMF|url=https://www.nationalmedals.org/laureates/john-cocke|website=NSTMF|access-date=2020-05-12}}</ref>
* 1994: [[John von Neumann Medal|IEEE John von Neumann Medal]]<ref>{{Cite web |title=IEEE John von Neumann Medal Recipients |website=[[Institute of Electrical and Electronics Engineers]] (IEEE) |url=https://corporate-awards.ieee.org/wp-content/uploads/von-neumann-rl.pdf}}</ref>
* 1994: [[National Medal of Science]]<ref name=":0" />
* 2000: [[Benjamin Franklin Medal (Franklin Institute)|Benjamin Franklin Medal]] (The Franklin Institute)<ref>{{Cite web |date=2014-01-10 |title=John Cocke |url=https://www.fi.edu/laureates/john-cocke |access-date=2022-08-29 |website=The Franklin Institute |language=en}}</ref>

[[Michael J. Flynn]] views the 801 as the first RISC.<ref name="Flynn54">{{cite book |title=Computer architecture: pipelined and parallel processor design |author-link=Michael J. Flynn |first=Michael J. |last=Flynn |year=1995 |isbn=0867202041 |pages=54–56 |publisher=Jones & Bartlett Learning }}</ref>