John Backus
Mer info
- Född
- Död
- Känd för
- Fortran, Backus-Naur-form
- Utmärkelser
- Turingpriset 1977
Ledde arbetet med Fortran och bevisade därmed att en kompilator kan producera kod som duger — vilket ingen trodde 1954.
Invändningen mot högnivåspråk var prestanda: handskriven assembler antogs alltid vinna. Backus team på IBM ägnade därför lika mycket möda åt optimeringen som åt språket, och den färdiga kompilatorn 1957 gav kod nära nog handskriven kvalitet. Därmed var frågan avgjord och programmeringens abstraktionsnivå kunde höjas.
Han införde också den notation för grammatik som med Peter Naurs justeringar blev Backus-Naur-form, fortfarande standard för att beskriva språksyntax. I Turing-förelästningen 1977 vände han sig mot sitt eget arv och argumenterade för funktionell programmering, med frågan om programmering kan befrias från von Neumann-stilen.