Back to Results
First PageMeta Content
Models of computation / Logic in computer science / Functional languages / Programming paradigms / Lambda calculus / John von Neumann / Denotational semantics / FP / Functional programming / Software engineering / Computing / Mathematics


197 7 ACM Turing Award Lecture The 1977 A C M Turing Award was presented to John Backus at the A C M Annual Conference in Seattle, October 17. In introducing the recipient, Jean E. Sammet, Chairman of the Awards Committ
Add to Reading List

Document Date: 2013-07-16 19:44:03


Open Document

File Size: 2,87 MB

Share Result on Facebook

City

San Francisco / Seattle / New York City / Paris / /

Company

IBM / APL / FP Systems / eqO / I I. Functional Programming Systems / Programs John Backus IBM Research Laboratory / Def / /

Continent

Europe / /

Country

United States / Denmark / /

Currency

USD / cent / /

IndustryTerm

state transition systems / history-sensitive computing systems / modem car / inner product / elegant new tools / elegant tools / applicative state transition systems / machinery / level programming systems / functional programming systems / classical applicative systems / earliest product / outer product / applicative systems / applicative computing systems / applicative programming systems / /

Organization

Awards Committee / Department of Defense / United Nations Educational Scientific and Cultural Organization / Association for Computing Machinery / /

Person

Jean E. Sammet / Peter Naur / Kenneth Iverson / John Backus / Dana Scott / /

Position

Author / machine designer / Chairman / designer / San Jose General / head / great mathematician for their complexity / programmer / /

ProgrammingLanguage

Algol 60 / Fortran / Pascal / Lisp / Algol 58 / C / Algol 68 / /

ProvinceOrState

California / /

Technology

functional programming / functional programming system / /

SocialTag