My diary on what Dijkstra did in the 1970s.

David N. Freeman contacts Dijkstra for a sabbatical


5 May 1971

David N. Freeman, director of Computing Activities at the University of Pennsylvania, contacted Dijkstra in order to express his interest in taking a sabbatical leave at Eindhoven between September 1972 and September 1973. As future posts on this blog will show, he was not the only one to do so. In fact, several American researchers in computing wanted to visit the Netherlands and Eindhoven in particular. Presumably, this was due to Dijkstra's presence at the University of Eindhoven.


Trip to Warwick, IFIP WG 2.3


16 March - 15 April, 1971

Dijkstra wrote a report in Dutch about his trip to Warwick (England), which took place right before Easter, 1971. The purpose of his trip was to attend an IFIP Working Group 2.3 meeting at Warwick University. Some points in Dijkstra's trip report are of general interest:


Letter from Wirth to Dijkstra


19 March 1971

Wirth and Dijkstra were close colleagues, thoroughly studying each other's writings in 1971. But how close, exactly, were they? How did Wirth's views differ from those of Dijkstra? In my first attempt to address these matters, I shall discuss a letter Wirth sent to Dijkstra in March 1971.


Five elements of mental discipline.

One of Dijkstra's main questions was:

"Can the programmer arrange his activity in such a way that his growing product remains firmly in his intellectual grip, that he continues to understand what he is doing?" [EWD303]

To write structured programs, Dijkstra proposed five well-known techniques:

  • sequencing
  • operational abstraction
  • representational abstraction
  • configurational abstraction (cf. layered software)
  • textual encapsulation (cf. modularity)

The latter two are discussed here.


Humble with regard to virtual storage.

Looking back at the late 1960s, Dijkstra mentioned that progress had been made in processor allocation, mainly due to the work of his students Bomhoff and Feijen. With respect to virtual storage implementations, however, Dijkstra humbly admitted that much had still to be done on this subject. Even though he had spent months trying to do so, he was stil not able to find the right abstractions. [EWD300]



Subscribe to RSS - diary70s