Among Dijkstra's possessions is the booklet of the 1961 Western Joint Computer Conference which was held in Los Angeles. The booklet contains the abstracts of the presented lectures, including:
- J. McCarthy's `A Basis for a Mathematical Theory of Computation' and
- R.S. Barton's `A New Approach to the Functional Design of a Digital Computer'.
The abstract of the latter paper is briefly discussed here because it may help us understand how ALGOL 60 influenced hardware design in the USA during the early 1960s.
The Dijkstra family collected many things, including an advertisement in NATURE on 4 February 1961, which mentioned the ALGOL 60 Programming School to be held at Brighton Technical College on 5 and 6 April 1961.
Is it correct to say that Dijkstra reasoned linguistically during the late 1950s and early 1960s? A reviewer of the research paper `Dijkstra's Rallying Cry ...' expressed his reservations about this matter.
In the reviewer's own words:
Here is what a reviewer had to say about the research paper `Dijkstra’s Rallying Cry ...':
The paper is, in essence, about an argument of generality versus computer efficiency. The argument was eventually settled in favour of the former due to the enormous advances in electronic technology. Today, computer efficiency is not an issue any more.
Is this correct? The last sentence seems to contradict Martin Reiser’s “law” which states that
© 2011–today by the respective authors. All rights reserved.