#### Filter Results:

- Full text PDF available (26)

#### Publication Year

1959

2012

- This year (0)
- Last five years (1)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

Dijkstra E W. A note on two problems in connexion with graphs. We consider a graph with n vertices, all pairs of which are connected by an edge; each edge is of given positive length. The following two basic problems are solved. Problem 1: construct the tree of minimal total length between the n vertices. (A tree is a graph with one and only one pathâ€¦ (More)

- Edsger W. Dijkstra
- Commun. ACM
- 1974

The synchronization task between loosely coupled cyclic sequential processes (as can be distinguished in, for instance, operating systems) can be viewed as keeping the relation “the system is in a legitimate state” invariant. As a result, each individual process step that could possibly cause violation of that relation has to be preceded by aâ€¦ (More)

- Edsger W. Dijkstra
- Commun. ACM
- 1975

So-called “guarded commands” are introduced as a building block for alternative and repetitive constructs that allow nondeterministic program components for which at least the activity evoked, but possibly even the final state, is not necessarily uniquely determined by the initial state. For the formal derivation of programs expressed in termsâ€¦ (More)

- Edsger W. Dijkstra
- Texts and Monographs in Computer Science
- 1982

- Edsger W. Dijkstra, Carel S. Scholten
- Inf. Process. Lett.
- 1980

- Edsger W. Dijkstra, Carel S. Scholten
- Texts and Monographs in Computer Science
- 1990

- Edsger W. Dijkstra
- Commun. ACM
- 1972

The working vocabulary of programmers everywhere is studded with words originated or forcefully promulgated by E. W. Dijkstra-display, deadly embrace, semaphore, go-to-less programming, structured programming. But his influence on programming is more pervasive than any glossary can possibly indicate. The precious gift that this Taring Award acknowledges isâ€¦ (More)

- Edsger W. Dijkstra
- Acta Inf.
- 1971

- Edsger W. Dijkstra
- Commun. ACM
- 1968

System A multiprogramming system is described in which all activities are divided over a number of sequential processes. These sequential processes are placed at various hierarchical levels, in each of which one or more independent abstractions have been implemented. The hierarchical structure proved to be vital for the verification of the logical soundnessâ€¦ (More)